Unboxed values and polymorphic typing revisited
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Proceedings of the first ACM SIGPLAN international conference on Functional programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Generation of LR parsers by partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conservation and uniform normalization in Lambda calculi with erasing reductions
Information and Computation
Higher-Order and Symbolic Computation
Definitional Interpreters Revisited
Higher-Order and Symbolic Computation
Implementation Strategies for First-Class Continuations
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
A Proof Theoretical Account of Continuation Passing Style
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
CPS in little pieces: composing partial continuations
Journal of Functional Programming
CPS transformation of beta-redexes
Information Processing Letters
Consistency, Turing Computability and Gödel's First Incompleteness Theorem
Minds and Machines
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
CPS transformation of beta-redexes
Information Processing Letters
Delimited continuations in operating systems
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-Calculus
Rewriting Computation and Proof
Hi-index | 0.00 |