Type-Directed Partial Evaluation in Haskell
unknown authors
http://www.ens-lyon.fr/~krisrose/ftp/PAPERS/rose-nbe98.ps.gz
Add To MetaCart
Abstract:
We implement simple standard type-directed partial evaluation in the pure functional programming language Haskell, using type classes. 1
Citations
| 174 | Type-directed partial evaluation – Danvy - 1996 |
| 73 | Combinatory reduction systems: Introduction and survey – Klop, Oostrom, et al. - 1993 |
| 2 | Haskell special issue – Fasel, Hudak, et al. - 1992 |
| 1 | Online type-directed partial evaluation, in M. Sato &Y. Toyama, eds – Danvy - 1998 |
