@@ -144,18 +144,15 @@ author = {Walt, Paul Van Der and Swierstra, Wouter},
144144file = {:Users/edwin/Documents/Mendeley Desktop/Walt, Swierstra/Engineering Proof by Reflection in Agda/Walt, Swierstra - Engineering Proof by Reflection in Agda - Unknown.pdf:pdf},
145145title = {{Engineering Proof by Reflection in Agda}}
146146}
147−@techreport{Haskell98,
148−abstract = {Haskell is the world's leading lazy functional programming language and is widely used in teaching, research, and applications. The language continues to develop rapidly, but in 1998 the programming community decided to capture a stable snapshot of the language by introducing Haskell 98. This book constitutes the agreed definition of Haskell 98, the language itself as well as its supporting libraries, and should be a standard reference work for anyone involved in research, teaching, or applications. All Haskell compilers support Haskell 98, so professioanls and educators have a stable base for their work.},
149−author = {{Peyton Jones}, Simon},
150−booktitle = {Language},
151−editor = {Jones, Simon Peyton},
152−isbn = {0521826144},
153−number = {1},
154−publisher = {Cambridge University Press},
155−title = {{Haskell 98 Language and Libraries: The Revised Report}},
156−url = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0521826144},
157−volume = {13},
158−year = {2002}
147+@misc{Haskell98,
148+ author = {{Peyton-Jones}, Simon and Hughes, John and Augustsson, Lennart and Barton, Dave and Boutel, Brian and Burton, Warren and Fasel, Joseph and Hammond, Kevin and Hinze, Ralf and Hudak, Paul and Johnsson, Thomas and Jones, Mark and Launchbury, John and Meijer, Erik and Peterson, John and Reid, Alastair and Runciman, Colin and Wadler, Philip},
149+ citeulike-article-id = {4034405},
150+ comment = {Available from \url{http://www.haskell.org/onlinereport/}},
151+ keywords = {file-import-09-02-11, postdoc\_bib},
152+ posted-at = {2009-02-11 10:55:50},
153+ priority = {2},
154+ title = {{The Haskell 98 Report}},
155+ year = {1999}
159156}
160157@inproceedings{madhavapeddy2007melange,
161158author = {Madhavapeddy, A. and Ho, A. and Deegan, T. and Scott, D. and Sohan, R.},
@@ -329,7 +326,7 @@ year = {1999}
329326}
330327@inproceedings{Kimmell2012,
331328author = {Kimmell, G and Stump, A and {Eades III}, HD and Fu, Peng and Sheard, Tim and Weirich, S and Casinghino, C and Sj\"{o}berg, V and Collins, N and Ahn, KY},
332−booktitle = {Programming Languages meets Program Verification},
329+booktitle = {{Proceedings of the 6th {ACM} workshop on Programming Languages Meets Program Verification - PLPV '12}},
333330file = {:Users/edwin/Documents/Mendeley Desktop/Kimmell et al/Equational reasoning about programs with general recursion and call-by-value semantics/Kimmell et al. - Equational reasoning about programs with general recursion and call-by-value semantics - 2012.pdf:pdf},
334331title = {{Equational reasoning about programs with general recursion and call-by-value semantics}},
335332url = {http://dl.acm.org/citation.cfm?id=2103780},
@@ -397,7 +394,9 @@ file = {:Users/edwin/Documents/Mendeley Desktop/Miller/Unification under a mixed
397394journal = {Journal of Symbolic Computation},
398395title = {{Unification under a mixed prefix}},
399396url = {http://www.sciencedirect.com/science/article/pii/074771719290011R},
400−year = {1992}
397+year = {1992},
398+volume = {14},
399+pages = {321--358}
401400}
402401@inproceedings{Danielsson2010,
403402author = {Danielsson, Nils Anders},
@@ -906,7 +905,7 @@ author = {Brady, Edwin},
906905file = {:Users/edwin/Documents/Mendeley Desktop/Brady/Programming in Idris a tutorial/Brady - Programming in Idris a tutorial - 2012.pdf:pdf},
907906title = {{Programming in Idris : a tutorial}},
908907url = {http://idris-lang.org/tutorial},
909−year = {2012}
908+year = {2013}
910909}
911910@book{Simon2012,
912911author = {Seibel, Peter},
@@ -1751,7 +1750,7 @@ year = {2009}
17511750@inproceedings{Brady2011a,
17521751address = {New York, New York, USA},
17531752author = {Brady, Edwin},
1754−booktitle = {Proceedings of the 5th {ACM} workshop on Programming languages meets program verification - {PLPV} '11},
1753+booktitle = {{Proceedings of the 5th {ACM} workshop on Programming Languages Meets Program Verification - PLPV '11}},
17551754doi = {10.1145/1929529.1929536},
17561755file = {:Users/edwin/Documents/Mendeley Desktop/Brady/Idris --- Systems Programming Meets Full Dependent Types/Brady - Idris --- Systems Programming Meets Full Dependent Types - 2011.pdf:pdf},
17571756isbn = {9781450304870},