For a Better Support of Static Data Flow (0)

Cached

Download Links

by Charles Consel , Olivier Danvy
Venue:Functional Programming Languages and Computer Architecture
Citations:59 - 16 self

Active Bibliography

564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
239 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
467 Comprehending Monads – Philip Wadler - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1353 Monads for functional programming – Philip Wadler - 1995
766 Notions of Computation and Monads – Eugenio Moggi - 1991
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
Partial Evaluation: Principles and Perspectives – unknown authors