Proceedings of the third European symposium on programming on ESOP '90
Relating total and partial correctness interpretations of non-deterministic programs
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An approach to functional operating systems
Research topics in functional programming
Non-determinism in functional languages
The Computer Journal - Special issue on formal methods: part 1
A natural semantics for lazy evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FUDGETS: a graphical user interface in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Lambda-calculi for (strict) parallel functions
Information and Computation
A call-by-need lambda calculus
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Must Preorder in Non-Deterministic Untyped Lambda-Calculus
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Nondeterministic call by need is neither lazy nor by name
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Improvement in a lazy context: an operational theory for call-by-need
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Non-determinism analyses in a parallel-functional language
Journal of Functional Programming
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Mathematical Structures in Computer Science
Coinductive big-step operational semantics
Information and Computation
Subtyping, declaratively: an exercise in mixed induction and coinduction
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Streams with a bottom in functional languages
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Correctness of non-determinism analyses in a parallel-functional language
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
| Hi-index | 0.00 |