Functional programs as executable specifications
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Miranda: a non-strict functional language with polymorphic types
Proc. of a conference on Functional programming languages and computer architecture
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Why functional programming matters
The Computer Journal - Special issue on Lazy functional programming
An introduction to functional programming
An introduction to functional programming
DAda—an Ada preprocessor for functional programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Approaches to Prototyping
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Towards an Ada basis for KBSE: Refine-Ada 95 conversion
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
| Hi-index | 0.00 |