On the orthogonality of assignments and procedures in Algol
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An operational semantics for I/O in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Referential opacity in nondeterministic data refinement
ACM Letters on Programming Languages and Systems (LOPLAS)
Abstraction Barriers in Equational Proof
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Non-determinism Analysis in a Parallel-Functional Language
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
A Polynomial-Cost Non-determinism Analysis
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
What is a purely functional language?
Journal of Functional Programming
Non-determinism analyses in a parallel-functional language
Journal of Functional Programming
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Correctness of non-determinism analyses in a parallel-functional language
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Lenient evaluation is neither strict nor lazy
Computer Languages
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
Conservative Concurrency in Haskell
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Infinite Unfolding and Transformations of Nondeterministic Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
| Hi-index | 0.00 |