Rapid Prototyping in TEX 5 (2009)

by Chris Eidhof , Derek Elkins , Stephen Hicks , Eelco Lempsink , Wouter Swierstra , Stephen Hicks , Brent Yorgey

Active Bibliography

General Terms – Pericles S. Kariotis, Adam M. Procter, William L. Harrison
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
Languages – Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. D. S. Oliveira
7 Asymptotic Improvement of Computations over Free Monads – Janis Voigtländer, Technische Universität Dresden - 2008
Unifying Theories of Programming with Monads – Jeremy Gibbons
2 HOL2P - A system of classical higher order logic with second order polymorphism – Norbert Völker - 2007
456 Comprehending Monads – Philip Wadler - 1992
General Terms – Patrick Bahr, Tom Hvitved
FUNCTIONAL PEARL Data types àlacarte – Wouter Swierstra
34 Data types à la carte – Wouter Swierstra
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
6 A Modal Calculus for Effect Handling – Aleksandar Nanevski - 2003
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
Free Theorems Involving . . . – Janis Voigtländer - 2009
4 What Does Aspect-Oriented Programming Mean for Functional Programmers? – Meng Wang, Bruno C. D. S. Oliveira
Semantics-Preserving Transformation Sean Leather – Johan Jeuring, Andres Löh, Bram Schuur, Www. Cs. Uu. Nl Issn, Johan Jeuring, Andres Löh, Bram Schuur - 2013
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
A Logical View of Effects – Sungwoo Park , Robert Harper
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner