This paper describes a novel flow-effect type system that combines concepts of type constraint systems and type effect systems, to achieve a flow-sensitive abstract interpretation of programs with higher-order functions. We prove that a decidable, safe closure algorithm exists. Deriving a decidable type closure algorithm in the presence of higher-order recursive functions is the main technical ...

Nowadays, higher education institutions (HEIs) are facing the need of constant monitoring of users’ interaction with Learning Management Systems (LMSs), in order to identify key areas for potential improvement. In fact, LMSs under blended (b-) learning mode can efficiently support online learning environments (OLEs) at HEIs. An important challenge would be to provide flexible solutions, where i...

Cohabitation has become so prevalent in Canada that it is now the most common mode of entry into conjugality. Yet in drawing comparisons across Canadian provinces, cohabitation is far more prevalent in the province of Quebec than elsewhere. With this in mind, the purpose of the current paper is three fold. First, we set out to briefly situate the recent growth in the number of common-law unions...