Proving the correctness of storage representations
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Separating stages in the continuation-passing style transformation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Continuation conscious compilation
ACM SIGPLAN Lisp Pointers
Scheme as an expository language for liberal arts students
LUV '93 Proceedings of the third international conference on Lisp users and vendors
A library of high level control operators
ACM SIGPLAN Lisp Pointers
Locality, causality and continuations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Teaching computer science principles to liberal arts students using Scheme
ACM SIGCSE Bulletin
Crossroads - Special issue on programming languages
An environment for interpreter-based programming language projects
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
A correspondence between continuation passing style and static single assignment form
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Futures and multiple values in parallel Lisp
ACM SIGPLAN Lisp Pointers
Realistic compilation by partial evaluation
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Type-directed partial evaluation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Experience with an analytic approach to teaching programming languages
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Formal semantics and interpreters in a principles of programming languages course
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Bootstrapping higher-order program transformers from interpreters
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A reductionist approach to a course on programming languages
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Quick piping: a fast, high-level model for describing processor pipelines
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Proceedings of the 24th International Conference on Software Engineering
An Introduction to Landin‘s “A Generalization of Jumps and Labels”
Higher-Order and Symbolic Computation
Using a Continuation Twice and Its Implications for the Expressive Power of call/cc
Higher-Order and Symbolic Computation
CPS Translations and Applications: The Cube and Beyond
Higher-Order and Symbolic Computation
Comparing Control Constructs by Double-Barrelled CPS
Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Network Processing of Mobile Agents, by Mobile Agents, for Mobile Agents
MATA '01 Proceedings of the Third International Workshop on Mobile Agents for Telecommunication Applications
A functional intermediate form for diverse source languages
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
A symmetric approach to compilation and decompilation
The essence of computation
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Reinforcing programming language concepts through implementation in a concept-based course
Journal of Computing Sciences in Colleges
Configurable Network Processing for Mobile Agents on the Internet
Cluster Computing
A first-order one-pass CPS transformation
Theoretical Computer Science
CPS transformation of beta-redexes
Information Processing Letters
Effectiveness of a language implementation project in building appreciation for formal specification
Journal of Computing Sciences in Colleges - Papers of the twelfth annual CCSC Northeastern Conference
ACM SIGPLAN Lisp Pointers
Abstractness, specificity, and complexity in software design
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
A Gentle Introduction to Multi-stage Programming, Part II
Generative and Transformational Techniques in Software Engineering II
Language engineering techniques for the development of e-learning applications
Journal of Network and Computer Applications
Cost-driven autonomous mobility
Computer Languages, Systems and Structures
Automatic generation of network protocol gateways
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
CPS transformation of beta-redexes
Information Processing Letters
Automatic generation of network protocol gateways
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
A document-centric component framework for document distributions
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
From conditional to unconditional rewriting
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Active media framework for network processing components
AMT'12 Proceedings of the 8th international conference on Active Media Technology
Hi-index | 0.00 |