How to replace failure by a list of successes
Proc. of a conference on Functional programming languages and computer architecture
Making form follow function: an exercise in functional programming style
Software—Practice & Experience
Basic polymorphic typechecking
Science of Computer Programming
ACM SIGPLAN Notices
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic data structure selection: an example and overview
Communications of the ACM
Communications of the ACM
Automatic data structure choice in a language of very high level
Communications of the ACM
Extending Functional Programming Towards Relations
ESOP '88 Proceedings of the 2nd European Symposium on Programming
A Relational Programming System with Inferred Representations
PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Describing Butterfly Networks in Ruby
Proceedings of the 1989 Glasgow Workshop on Functional Programming
Introduction to relational programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Overview of relational programming
ACM SIGPLAN Notices
Hi-index | 0.00 |