Embedding continuations in procedural objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Welding advisory system for process selection “WASPS”
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A PC-based expert system in engineering
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parameter-passing and the lambda calculus
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Switch-stacks: a scheme for microtasking nested parallel loops
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Standard-output: Scheme standardization
ACM SIGPLAN Lisp Pointers
Building abstract iterators using continuations
ACM SIGPLAN Notices
Computer-aided vs. manual program restructuring
ACM SIGSOFT Software Engineering Notes
A balanced approach to first-year computer science
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Interactive modular programming in Scheme
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Global tagging optimization by type inference
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Automated assistance for program restructuring
ACM Transactions on Software Engineering and Methodology (TOSEM)
Extracting polyvariant binding time analysis from polyvariant specializer
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Lambda, the ultimate label or a simple optimizing compiler for Scheme
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A symbolic simulation model of the organization of human procedural knowledge
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Fixpoint computation for polyvariant static analyses of higher-order applicative programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated support for encapsulating abstract data types
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A new scheme for reinforcing concepts in CS2
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Adding generic functions to Scheme
ACM SIGPLAN Notices
Representing control in the presence of one-shot continuations
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Disney's Aladdin: first steps toward storytelling in virtual reality
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Circuit placement chip optimization, and wire routing for IBM IC technology
IBM Journal of Research and Development
Circuit Placement, Chip Optimization, and Wire Routing for IBMIC Technology
Journal of VLSI Signal Processing Systems - Special issue on high performance clock distribution networks
Polymorphic splitting: an effective polyvariant flow analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Supporting the restructuring of data abstractions through manipulation of a program visualization
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic data layout for distributed-memory machines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending the scope of syntactic abstraction
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Visualizing Evaluation in Scheme
Lisp and Symbolic Computation
Expansion-passing style: beyond conventional macros
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Partial Evaluation of the Euclidean Algorithm, Revisited
Higher-Order and Symbolic Computation
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
Comments on "Language Design for Program Manipulation"
IEEE Transactions on Software Engineering
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Programming methodology
Eliminating dead code on recursive data
Science of Computer Programming - Special issue on static analysis (SAS'99)
A nanopass infrastructure for compiler education
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Encyclopedia of Computer Science
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
ACM SIGPLAN Lisp Pointers
The scheme of things: standardization at Snowbird
ACM SIGPLAN Lisp Pointers
Language design and implementation using ruby and the interpreter pattern
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Towards proving type safety of .NET CIL
Science of Computer Programming
Htdp and dmda in the battlefield: a case study in first-year programming instruction
Proceedings of the 2008 international workshop on Functional and declarative programming in education
The chilling descent: making the transition to a conventional curriculum
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Central European Functional Programming School
Zero-a blend of static typing and dynamic metaprogramming
Computer Languages, Systems and Structures
ACM SIGPLAN Lisp Pointers
An analysis of java-based mobile agent platforms for wireless sensor networks
Multiagent and Grid Systems - Agent Based Computing: From Model to Implementation
Hi-index | 0.00 |