Statically checkable pattern abstractions
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Jones optimality, binding-time improvements, and the strength of program specializers
ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation of pattern matching in strings, revisited
Nordic Journal of Computing
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
An investigation of Jones optimality and BTI-universal specializers
Higher-Order and Symbolic Computation
The guardol language and verification system
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A DSL for cross-domain security
Proceedings of the 2012 ACM conference on High integrity language technology
Hi-index | 0.00 |