Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
459 Comprehending Monads – Philip Wadler - 1992
625 Light Linear Logic – Jean-yves Girard
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
742 Structure and Interpretation of Computer Programs – H Abelson, G J Sussman, J Sussman - 1985
447 programming be liberated from the von Neumann style?: a functional style and its algebra of programs – J Can Backus - 2007