7 search results - page 1 / 2 » Answer Type Polymorphism in Call-by-Name Continuation Passin... |
108
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
126
click to vote
POPL
2003
ACM
15 years 9 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
125
Voted
APLAS
2007
ACM
15 years 8 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...
137
Voted
CSL
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
261
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...