|
|
A Framework for Lazy Parallel Evaluation of Equational Programs
– R. C. Sekar, Shaunak Pawagi, I.V. Ramakrishnan
|
|
41
|
Programming in Equational Logic: Beyond Strong Sequentiality
– R. C. Sekar, I.V. Ramakrishnan
- 1993
|
|
2
|
Fast Strictness Analysis Based on Demand Propagation
– R. Sekar, I. V. Ramakrishnan
- 1995
|
|
1
|
Programming with Equations: A Framework for Lazy Parallel Evaluation
– R. C. Sekar, I.V. Ramakrishnan
- 1992
|
|
12
|
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience
– Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
- 1992
|
|
7
|
When Do Match-Compilation Heuristics Matter?
– Kevin Scott, Norman Ramsey
- 2000
|
|
5
|
On the Power and Limitations of Strictness Analysis
– R. Sekar, P. Mishra, I. V. Ramakrishnan
- 1997
|
|
8
|
Optimizing Pattern Matching
– Fabrice Le Fessant, Luc Maranget
- 2001
|
|
52
|
Disunification: a Survey
– Hubert Comon
- 1991
|
|
10
|
ML pattern match compilation and partial evaluation
– Peter Sestoft
- 1996
|
|
|
Survey of the Equational Logic Programming Project
– Michael Donnell
- 1987
|
|
|
EM code Semantics, Analysis, and Optimization
– David Sherman May, Greco De Programmation, David Sherman, David Sherman
|
|
15
|
The Functional Strategy and Transitive Term Rewriting Systems
– Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer
- 1993
|
|
41
|
Context-Sensitive Rewriting Strategies
– Salvador Lucas
- 1997
|
|
2
|
Lazy Rewriting in Logic Programming
– Sergio Antoy
- 1992
|
|
28
|
Semantic Representations And Query Languages For Or-Sets
– Leonid Libkin, Limsoon Wong
- 1993
|
|
4
|
Some Practical Aspects of Dependent Datatypes
– Hongwei Xi
|
|
15
|
Dependently Typed Pattern Matching
– Hongwei Xi
- 2003
|
|
8
|
Compiling Lazy Pattern Matching
– Luc Maranget
- 1992
|
