Multithreaded computer systems
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
An operational semantics for I/O in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Two issues in parallel language design
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generalization of exceptions and control in ML-like languages
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
How much non-strictness do lenient programs require?
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A practical soft type system for scheme
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward a formal theory of extensible software
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Proceedings of the 24th International Conference on Software Engineering
Using a Continuation Twice and Its Implications for the Expressive Power of call/cc
Higher-Order and Symbolic Computation
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC
Higher-Order and Symbolic Computation
On Exceptions Versus Continuations in the Presence of State
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Exceptions, Continuations and Macro-expressiveness
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Typed Exeptions and Continuations Cannot Macro-Express Each Other
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Static Analysis for Safe Destructive Updates in a Functional Language
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
DrScheme: a programming environment for Scheme
Journal of Functional Programming
What is a purely functional language?
Journal of Functional Programming
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
Language embeddings that preserve staging and safety
Nordic Journal of Computing
Towards reasonability properties for access-control policy languages
Proceedings of the eleventh ACM symposium on Access control models and technologies
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Operational semantics for multi-language programs
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Specializing continuations a model for dynamic join points
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
Alternative Logics: a book review: SIGACT news logic column 18
ACM SIGACT News
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Adding delimited and composable control to a production programming environment
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
A static simulation of dynamic delimited control
Higher-Order and Symbolic Computation
Operational semantics for multi-language programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of Functional Programming
Parametrised Constants and Replication for Spatial Mobility
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Beyond static and dynamic scope
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Singleton types here, singleton types there, singleton types everywhere
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Science of Computer Programming
Scoping strategies for distributed aspects
Science of Computer Programming
Shifting the stage: Staging with delimited control
Journal of Functional Programming
A calculus for modeling and implementing variation
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Adding configuration to the choice calculus
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
Constraining delimited control with contracts
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Contracts for First-Class Classes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective quotation: relating approaches to language-integrated query
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |