On the productivity of recursive list definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Indeterminate behavior with determinate semantics in parallel programs
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Functional programming is not self-modifying code
ACM SIGPLAN Notices
Hamming numbers, lazy evaluation, and eager disposal
ACM SIGPLAN Notices
Full functional programming in a declarative Ada dialect
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Type extension through polymorphism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Concurrent programming for the masses (invited address)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Towards quality requirements via animated formal specifications
Annals of Software Engineering
A design methodology for functional programs
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
| Hi-index | 0.00 |