Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 381:d5112c099fbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New chapter: ProgLang
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Apr 2012 15:02:32 -0400
parents 2fbb47fb02bd
children 7ece04e15446
comparison
equal deleted inserted replaced
380:31fa03bc0f18 381:d5112c099fbf
323 title = {Semantical Investigations into Intensional Type Theory}, 323 title = {Semantical Investigations into Intensional Type Theory},
324 type = {Habilitationsschrift}, 324 type = {Habilitationsschrift},
325 school = {LMU M\"unchen}, 325 school = {LMU M\"unchen},
326 year= {1993} 326 year= {1993}
327 } 327 }
328
329 @article{BGB,
330 author = {Geoffrey Washburn and Stephanie Weirich},
331 title = {Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism},
332 journal = {J. Funct. Program.},
333 volume = {18},
334 number = {1},
335 year = {2008},
336 pages = {87--140},
337 publisher = {Cambridge University Press},
338 address = {New York, NY, USA},
339 }
340
341 @InProceedings{PhoasICFP08,
342 author = {Adam Chlipala},
343 title = {Parametric Higher-Order Abstract Syntax for Mechanized Semantics},
344 booktitle = {Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming},
345 year = {2008},
346 pages = {143--156}
347 }
348
349 @article{parametricity,
350 author = {Reynolds, J.C.},
351 year = {1983},
352 title = {Types, abstraction, and parametric polymorphism},
353 journal = {Information Processing},
354 pages = {513--523}
355 }
356
357 @InProceedings{CompilerPOPL10,
358 author = {Adam Chlipala},
359 title = {A Verified Compiler for an Impure Functional Language},
360 booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
361 year = {2010},
362 }