The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A system of constructor classes: overloading and implicit higher-order polymorphism
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
ACM Computing Surveys (CSUR)
The functional guts of the Kleisli query system
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A new framework for declarative programming
Theoretical Computer Science
Kleisli, a functional query system
Journal of Functional Programming
Journal of Functional Programming
Computational types from a logical perspective
Journal of Functional Programming
A systematic approach to static access control
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tabular Expressions and Total Functional Programming
Implementation and Application of Functional Languages
A System F with Call-by-Name Exceptions
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
The worker/wrapper transformation
Journal of Functional Programming
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
| Hi-index | 0.00 |