Proc. of a conference on Functional programming languages and computer architecture
The definition of Standard ML
Compiling pattern matching by term decomposition
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
The specificity rule for lazy pattern-matching in ambiguous term rewrite systems
Proceedings of the third European symposium on programming on ESOP '90
Comparison of priority rules in pattern matching and term rewriting
Journal of Symbolic Computation
GAML: a parallel implementation of Lazy ML
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Using Static Analysis to Compile Non-sequential Functional Logic Programs
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Handbook of automated reasoning
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Compiling pattern matching to good decision trees
Proceedings of the 2008 ACM SIGPLAN workshop on ML
A first step in the design of a formally verified constraint-based testing tool: focaltest
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Hi-index | 0.01 |