Keep it clean: a unique approach to functional programming.
ACM SIGPLAN Notices
MCORBA: A CORBA Binding for Mercury
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Term Graph Rewriting and Mobile Expressions in Functional Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Explicit Message Passing for Concurrent Clean
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation
Parallel and Distributed Haskells
Journal of Functional Programming
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Parallel functional programming in Eden
Journal of Functional Programming
Proving termination of context-sensitive rewriting by transformation
Information and Computation
When generic functions use dynamic values
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Towards a strongly typed functional operating system
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Linearity and recursion in a typed Lambda-calculus
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
A functional shell that operates on typed and compiled applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Trends in Trends in Functional Programming 1999/2000 versus 2007/2008
Higher-Order and Symbolic Computation
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS
Fundamenta Informaticae
Hi-index | 0.00 |