More Advice on Proving a Compiler Correct: Improve a Correct Compiler (1994)

Cached

Download Links

by E. Meijer , E. Meijer
Citations:11 - 1 self

Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
97 and Order in Algorithmics – Law - 1992
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
112 A Fold for All Seasons – Tim Sheard , Leonidas Fegaras - 1993
10 Compiling Monads – Olivier Danvy, J├╝rgen Koslowski, Karoline Malmkjær, Karoline Malmkjaer - 1991
165 An Abstract View of Programming Languages – E Moggi - 1989
234 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
5 Modelling office processes with functional parsers – Gert Florijn - 1994
32 Category theoretic approach to data types – T Hagino - 1987
85 Algebraic data types and program transformation – G Malcolm - 1990
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
23 Fold and Unfold for Program Semantics – Graham Hutton - 1998
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
57 Monadic Parser Combinators – Graham Hutton , Erik Meijer - 1996
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
56 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
68 Recursive types reduced to induct,ive types – P Freyd - 1990
86 Algebraic Approaches to Program Semantics – Ernest G Manes, Michael A Arbib - 1986
328 Denotational Semantics: A Methodology for Language Development – David A Schmidt - 1986