From 2590603f796c03d63c0492c032872ba152f200ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Mon, 28 Sep 2020 20:04:06 +0100 Subject: [PATCH] Haskell reports --- thesis.bib | 55 +++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 54 insertions(+), 1 deletion(-) diff --git a/thesis.bib b/thesis.bib index 541a2d2..d067469 100644 --- a/thesis.bib +++ b/thesis.bib @@ -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},