7 search results - page 1 / 2 » Explicit Polymorphism and CPS Conversion |
POPL
1993
ACM
13 years 9 months ago
1993
ACM
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
FLOPS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
TACS
1994
Springer
13 years 9 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
APLAS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...