Continuations may be unreasonable
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Can LCF be topped ? Flat lattice models of typed &lgr;-calculus
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
A complete and decidable proof system for call-by-value equalities
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Reasoning with continuations II: full abstraction for models of control
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
On the expressive power of programming languages
Proceedings of the third European symposium on programming on ESOP '90
Relating full abstraction results for different programming languages
FST and TC 10 Proceedings of the tenth conference on Foundations of software technology and theoretical computer science
Research topics in functional programming
On the Relation between Direct and Continuation Semantics
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Separating concurrent languages with categories of language embeddings
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Delimiting the scope of effects
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Isolating side effects in sequential languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A relational account of call-by-value sequentiality
Information and Computation - Special issue: LICS'97
Journal of Functional Programming
Fully abstract semantics of additive aspects by translation
Proceedings of the 6th international conference on Aspect-oriented software development
Typed closure conversion preserves observational equivalence
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
An equivalence-preserving CPS translation via multi-language semantics
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |