A library of high level control operators
ACM SIGPLAN Lisp Pointers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance engineering case study: heap construction
Journal of Experimental Algorithmics (JEA)
Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Continuations, functions and jumps
ACM SIGACT News
Conservation and uniform normalization in Lambda calculi with erasing reductions
Information and Computation
Higher-Order and Symbolic Computation
An Introduction to Landin‘s “A Generalization of Jumps and Labels”
Higher-Order and Symbolic Computation
Retraction Approach to CPS Transform
Higher-Order and Symbolic Computation
Definitional Interpreters Revisited
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Some Reflections on Strachey and His Work
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
Analyzing Non-functional Properties of Mobile Agents
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Operational Investigation of the CPS Hierarchy
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Continuations and Conversations
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Typed Exeptions and Continuations Cannot Macro-Express Each Other
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Higher-Order Colon Translation
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A First-Order One-Pass CPS Transformation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Call-by-value is dual to call-by-name
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A first-order one-pass CPS transformation
Theoretical Computer Science
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science
CPS transformation of flow information, Part II: administrative reductions
Journal of Functional Programming
A confluent λ-calculus with a catch/throw mechanism
Journal of Functional Programming
On the call-by-value CPS transform and its semantics
Information and Computation
CPS transformation of beta-redexes
Information Processing Letters
A denotational semantics for stateflow
Proceedings of the 5th ACM international conference on Embedded software
Protothreads: simplifying event-driven programming of memory-constrained embedded systems
Proceedings of the 4th international conference on Embedded networked sensor systems
Specializing continuations a model for dynamic join points
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
Combining algebraic effects with continuations
Theoretical Computer Science
Manticore: a heterogeneous parallel language
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Higher-Order and Symbolic Computation
A rewriting logic approach to operational semantics
Information and Computation
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Science of Computer Programming
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Theoretical Computer Science
CPS transformation of beta-redexes
Information Processing Letters
Higher-Order and Symbolic Computation
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Delimited continuations in operating systems
CONTEXT'07 Proceedings of the 6th international and interdisciplinary conference on Modeling and using context
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
An introduction to Landin's "Getting Rid of Labels"
Higher-Order and Symbolic Computation
From conditional to unconditional rewriting
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
LCPC'09 Proceedings of the 22nd international conference on Languages and Compilers for Parallel Computing
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Socio-PLT: principles for programming language adoption
Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software
A constraint-based approach to quality assurance in service choreographies
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hoare-style reasoning with (algebraic) continuations
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |