Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 395:3c941750c347

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Citations for lazy data structures, Haskell 'deriving', and logic programming
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Apr 2012 16:25:22 -0400
parents cc8d0503619f
children 92f386c33e94
comparison
equal deleted inserted replaced
394:cc8d0503619f 395:3c941750c347
412 doi = {10.1145/321250.321253}, 412 doi = {10.1145/321250.321253},
413 acmid = {321253}, 413 acmid = {321253},
414 publisher = {ACM}, 414 publisher = {ACM},
415 address = {New York, NY, USA}, 415 address = {New York, NY, USA},
416 } 416 }
417
418 @ARTICLE{whyfp,
419 author = {John Hughes},
420 title = {Why Functional Programming Matters},
421 journal = {The Computer Journal},
422 year = {1984},
423 volume = {32},
424 pages = {98--107}
425 }
426
427 @Book{Prolog,
428 author = "Leon Sterling and Ehud Shapiro",
429 title = "The Art of Prolog, 2nd Edition",
430 year = "1994",
431 publisher = "MIT Press"
432 }
433
434 @Book{LogicProgramming,
435 author = "John W. Lloyd",
436 title = "Foundations of Logic Programming, 2nd Edition",
437 year = "1987",
438 publisher = "Springer"
439 }
440
441 @InBook{deriving,
442 title = "Haskell 98 Language and Libraries: The Revised Report",
443 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",
444 year = "1998",
445 chapter = "4.3.3",
446 url = {http://www.haskell.org/onlinereport/decls.html#derived-decls}
447 }