|
|
|
@ -787,7 +787,18 @@ |
|
|
|
publisher = {Institut National de Recherche en Informatique et en Automatique} |
|
|
|
} |
|
|
|
|
|
|
|
# Scheme R6RS |
|
|
|
# Scheme |
|
|
|
@techreport{SussmanS75, |
|
|
|
author = {Gerald Jay Sussman and Guy Lewis Steele Jr.}, |
|
|
|
institution = {{MIT}}, |
|
|
|
month = {December}, |
|
|
|
number = {AI Memo No. 349}, |
|
|
|
title = {Scheme: An Interpreter for Extended Lambda Calculus}, |
|
|
|
OPTuri = {ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-349.pdf}, |
|
|
|
year = 1975 |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
@book{SperberDFSFM10, |
|
|
|
author = {Michael Sperber and |
|
|
|
R. Kent Dybvig and |
|
|
|
@ -800,6 +811,48 @@ |
|
|
|
year = {2010} |
|
|
|
} |
|
|
|
|
|
|
|
# Haskell |
|
|
|
@misc{JonesABBBFHHHHJJLMPRRW99, |
|
|
|
author = {Simon Peyton Jones |
|
|
|
and Lennart Augustsson |
|
|
|
and Dave Barton |
|
|
|
and Brian Boutel |
|
|
|
and Warren Burton |
|
|
|
and Joseph Fasel |
|
|
|
and Kevin Hammond |
|
|
|
and Ralf Hinze |
|
|
|
and Paul Hudak |
|
|
|
and John Hughes |
|
|
|
and Thomas Johnsson |
|
|
|
and Mark Jones |
|
|
|
and John Launchbury |
|
|
|
and Erik Meijer |
|
|
|
and John Peterson |
|
|
|
and Alastair Reid |
|
|
|
and Colin Runciman |
|
|
|
and Philip Wadler}, |
|
|
|
title = {Haskell 98: A non-strict, purely functional language}, |
|
|
|
OPTurl = {https://www.haskell.org/definition/}, |
|
|
|
year = {1999} |
|
|
|
} |
|
|
|
|
|
|
|
@book{Haskell98, |
|
|
|
editor = {Jones, Simon Peyton}, |
|
|
|
month = sep, |
|
|
|
pages = 277, |
|
|
|
publisher = {http://haskell.org/}, |
|
|
|
title = {{Haskell} 98 Language and Libraries: The Revised Report}, |
|
|
|
type = {Language Definition}, |
|
|
|
OPTurl = {http://haskell.org/definition/haskell98-report.pdf}, |
|
|
|
year = 2002 |
|
|
|
} |
|
|
|
|
|
|
|
@book{Haskell10, |
|
|
|
editor = {Simon Marlow}, |
|
|
|
title = {Haskell 2010 Language Report}, |
|
|
|
year = 2010 |
|
|
|
} |
|
|
|
|
|
|
|
# Timeless classics |
|
|
|
@article{Plotkin04a, |
|
|
|
author = {Gordon D. Plotkin}, |
|
|
|
|