Modular Compilers Based on Monad Transformers (1998)

Cached

Download Links

by William Harrison , Samuel N. Kamin
Venue:In Proceedings of the IEEE International Conference on Computer Languages
Citations:20 - 2 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1309 Monads for functional programming – Philip Wadler - 1995
207 Type-directed partial evaluation – Olivier Danvy - 1996
56 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
24 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, RenĂ© Vestergaard
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
733 Notions of Computation and Monads – Eugenio Moggi - 1991
165 An Abstract View of Programming Languages – E Moggi - 1989
36 Semantic Lego – David Espinosa - 1995
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
473 Denotational Semantics: the Scott-Strachey Approach to Programming Languages Theory – J E Stoy - 1977
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
7 Writing modular interpreters using catamorphisms, subtypes and monad transformers – Luc Duponcheel - 1995
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
639 Partial Evaluation and Automatic Program Generation. Available online: http://www.itu.dk/people/sestoft/pebook – Neil D Jones, Carsten K Gomard, Peter Sestoft - 1993
146 Component-Based Semantics – P D Mosses - 2009
69 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
7 A modular semantics for compiler generation – S Liang - 1995