Tracing piece by piece: affordable debugging for lazy functional languages
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
A high performance Erlang system
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Functional programming, and where you can put it
ACM SIGPLAN Notices
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
VM lambda: A Functional Calculusfor Scientific Discovery
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Leftover Curry and Reheated Pizza: How Functional Programming Nourishes Software Reuse
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
How to Solve the Reuse Problem? Functional Programming
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Kleisli, a functional query system
Journal of Functional Programming
Building functional patterns for implementing distributed applications
LANC '03 Proceedings of the 2003 IFIP/ACM Latin America conference on Towards a Latin American agenda for network research
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
Journal of Functional Programming
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Future directions for agent-based software engineering
International Journal of Agent-Oriented Software Engineering
Abstract diagnosis of functional programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
A compact fixpoint semantics for term rewriting systems
Theoretical Computer Science
An integrated framework for the diagnosis and correction of rule-based programs
Theoretical Computer Science
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.00 |