Composable and compilable macros:: you want it when?
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Workflow enactment with continuation and future objects
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 2nd international conference on Aspect-oriented software development
A First-Order One-Pass CPS Transformation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Fine Control of Demand in Haskell
MPC '02 Proceedings of the 6th International Conference on Mathematics of Program Construction
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A functional correspondence between evaluators and abstract machines
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A first-order one-pass CPS transformation
Theoretical Computer Science
A functional correspondence between call-by-need evaluators and lazy abstract machines
Information Processing Letters
A semantics for advice and dynamic join points in aspect-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Classes as first class objects in an environment-passing interpreter
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Laziness without all the hard work: combining lazy and strict languages for teaching
Proceedings of the 2005 workshop on Functional and declarative programming in education
Pluggable AOP: designing aspect mechanisms for third-party composition
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An ECMAScript Compiler for the .NET Framework
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Theoretical Computer Science - Applied semantics: Selected topics
Specializing continuations a model for dynamic join points
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Delta execution for efficient state-space exploration of object-oriented programs
Proceedings of the 2007 international symposium on Software testing and analysis
A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
A static simulation of dynamic delimited control
Higher-Order and Symbolic Computation
Language design and implementation using ruby and the interpreter pattern
Proceedings of the 39th SIGCSE technical symposium on Computer science education
DLS '08 Proceedings of the 2008 symposium on Dynamic languages
DLS '08 Proceedings of the 2008 symposium on Dynamic languages
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
Optimal Lambda Lifting in Quadratic Time
Implementation and Application of Functional Languages
Use concurrent programming models to motivate teaching of programming languages
ACM SIGPLAN Notices
Expressive scoping of distributed aspects
Proceedings of the 8th ACM international conference on Aspect-oriented software development
A rewriting logic approach to operational semantics
Information and Computation
“little language” project modules
Journal of Functional Programming
Program transformations for information personalization
Computer Languages, Systems and Structures
Isolating untrusted software extensions by custom scoping rules
Computer Languages, Systems and Structures
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Scoping strategies for distributed aspects
Science of Computer Programming
The rewriting logic semantics project: a progress report
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Language-Driven development of videogames: the experience
ICEC'06 Proceedings of the 5th international conference on Entertainment Computing
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
A generative programming approach to interactive information retrieval: insights and experiences
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Language-driven development of web-based learning applications
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Teaching garbage collection without implementing compiler or interpreters
Proceeding of the 44th ACM technical symposium on Computer science education
PLCC: a programming language compiler compiler
Proceedings of the 45th ACM technical symposium on Computer science education
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |