bibliografia.bib

incollection{parsing-mixfix-operators,
    author={Danielsson, Nils Anders and Norell, Ulf},
    title={Parsing mixfix operators},
    booktitle={Implementation and Application of Functional Languages},
    pages={80--99},
    year={2008},
    publisher={Springer}
}

inproceedings{less-ad-hoc-polymorphism,
    author={Philip Wadler and Stephen Blott},
    title={How to make ad-hoc polymorphism less ad hoc},
    booktitle={Proceedings odf the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    year={1989},
    pages={60--76},
    organization={ACM}
}

online{python-parser,
    author={Bernard James Pope},
    title={language-python},
    version={0.5.2},
    year={2008},
    url={https://hackage.haskell.org/package/language-python},
    urldate={2016-02-05},
    howpublised={\url{https://hackage.haskell.org/package/language-python}}
}

@inproceedings{flaviani,
    author={Federico Flaviani},
    title={Modelo relacional de la teoría axiomática del lenguaje {G}{C}{L} de {D}ijkstra},
    booktitle={Co{N}{C}{I}{S}a 2015},
    address={Valencia, Venezuela},
    pages={153-164},
    date={2015-11}
}

@misc{ghc,
    author={Kevin Hammond},
    title={GHC},
    version={7.10.2},
    year={1992},
    url={https://www.haskell.org/ghc/},
    urldate={2016-02-05},
    howpublised={\url{https://github.com/ghc/ghc}}
}

online{alex,
    author={Simon Marlow and Chris Dornan},
    title={Alex},
    version={3.1.7},
    year={1995},
    url={https://www.haskell.org/alex/},
    urldate={2016-02-07},
    howpublised={\url{http://hackage.haskell.org/package/alex}}
}

online{happy,
    author={Simon Marlow and Andy Gill},
    title={Happy},
    version={1.19.5},
    year={1997},
    url={https://www.haskell.org/happy/},
    urldate={2016-02-07},
    howpublised={\url{http://hackage.haskell.org/package/happy}}
}

@misc{gracieladeb,
    author={Graciela{U}{S}{B}},
    title={Paquete {D}ebian para {G}raciela},
    version={2.0.1},
    year={2017},
    url={https://github.com/GracielaUSB/graciela-debian/releases},
    urldate={2017-01-04},
    howpublised={\url{https://github.com/GracielaUSB/graciela-debian/releases}}
}

@misc{quickcheck,
    author={Koen Claessen},
    title={Quick{C}heck},
    version={2.9.2},
    year={2016},
    url={https://hackage.haskell.org/package/QuickCheck},
    urldate={2017-01-04},
    howpublised={\url{https://hackage.haskell.org/package/QuickCheck}}
}

@misc{hunit,
    author={Dean Herington},
    title={H{U}nit},
    version={1.5.0.0},
    year={2016},
    url={https://hackage.haskell.org/package/HUnit},
    urldate={2017-01-04},
    howpublised={\url{https://hackage.haskell.org/package/HUnit}}
}

@misc{megaparsec,
    author={Mark Karpov},
    title={Megaparsec},
    version={5.1},
    year={2016},
    url={https://hackage.haskell.org/package/megaparsec},
    urldate={2016-11-09},
    howpublised={\url{https://hackage.haskell.org/package/megaparsec}}
}

@misc{parsec,
    author={Daan Leijen and Paolo Martini},
    title={Parsec},
    version={3.1},
    year={2016},
    url={https://hackage.haskell.org/package/parsec},
    urldate={2016-11-09},
    howpublised={\url{https://hackage.haskell.org/package/parsec}}
}

@misc{llvm,
    author={Vikram Adve, Chris Lattner, Evan Cheng},
    title={LLVM},
    year={2016},
    url={http://llvm.org/},
    urldate={2016-11-09},
    howpublised={\url{http://llvm.org/}}
}

@misc{haskell,
    author={Paul Hudak and Simon Peyton Jones and Philip Wadler and
        Brian Boutel and Jon Fairbairn and Joseph Fasel and María M Guzmán and
        Kevin Hammond and John Hughes and Thomas Johnsson},
    title={Haskell},
    year={1990},
    url={https://www.haskell.org/},
    urldate={2016-11-09}
}

@misc{llvm-general,
    author={{Benjamin S. Scarlet} and {Google Inc.}},
    title={{l}lvm-general},
    year={2016},
    url={https://hackage.haskell.org/package/llvm-general},
    urldate={2016-11-9}
}

@misc{llvm-general-pure,
    author={{Benjamin S. Scarlet} and {Google Inc.}},
    title={{l}lvm-general-pure},
    year={2016},
    url={https://hackage.haskell.org/package/llvm-general},
    urldate={2016-11-9}
}

@misc{seplogpaper1,
    author={John C. Reynolds},
    title={Intuitionistic Reasoning about Shared Mutable Data Structure},
    year={1999},
    url={http://www.cs.cmu.edu/~jcr/seplogic.pdf},
    urldate={2016-11-09}
}

@misc{seplogpaper2,
    author={Samin Ishtiaq and {Peter W. O'Hearn}},
    title={{BI} as an Assertion Language for Mutable Data Structures},
    year={2001},
    url={http://www.lsv.ens-cachan.fr/~demri/IshtiaqOHearn01.pdf},
    urldate={2016-11-10}
}

@misc{seplogpaper3,
    author={{Peter W. O'Hearn} and John C. Reynolds and Hongseok Yang},
    title={Local Reasoning about Programs that Alter Data Structures},
    year={2001},
    url={http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1331},
    urldate={2016-11-09}
}

@misc{separation-logic,
    author={Peter W. O’Hearn},
    title={A Primer on Separation Logic (and Automatic Program Verification and Analysis)},
    year={2012},
    url={http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf},
    urldate={2016-11-08}
}

@misc{liskov,
    author={Barbara Liskov and Stephen Zilles},
    title={PROGRAMMING WITH ABSTRACT DATA TYPES},
    year={1974},
    url={http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.3043&rep=rep1&type=pdf},
    urldate={2016-11-09}
}

@book{dalewalker,
    author={Nell Dale and {Henry M. Walker}},
    title={Abstract Data Types: Specifications, Implementations, and Applications},
    year={1996}
}

@misc{ravelo,
    author={Jesús N. Ravelo},
    title={Especificación e Implementación de Tipos Abstractos de Datos},
    year={2012},
    url={http://ldc.usb.ve/~jravelo/docencia/algoritmos/material/tads.pdf},
    urldate={2016-11-09}
}

@misc{ravelotal,
    author={Jesús N. Ravelo and Kelwin Fernández},
    title={Tipos Algebraico-Libres},
    year={2012},
    url={http://ldc.usb.ve/~jravelo/docencia/algoritmos/material/tads.pdf},
    urldate={2016-11-09}
}

@misc{foldoc,
    author={{Free On-Line Dictionary Of Computing}},
    title={Algebraic data type},
    year={1994},
    url={http://foldoc.org/algebraic%20data%20type},
    urldate={2016-11-09}
}

@misc{lazywithclass,
    title={A History of Haskell: Being Lazy With Class},
    author={Paul Hudak and John Hughes and Simon Peyton Jones and Philip Wadler},
    year={2007},
    url={http://haskell.cs.yale.edu/wp-content/uploads/2011/02/history.pdf},
    urldate={2016-11-10}}

@book{concrete,
    title={Concrete Semantics with Isabelle/HOL},
    author={Tobias Nipkow and Gerwin Klein},
    publisher={Springer-Verlag},
    edition={1},
    year={2015},
    url={http://www.concrete-semantics.org/concrete-semantics.pdf},
    urldate={2016-11-10}
}

@book{sudkamp,
    title={Languages and Machines},
    author={Thomas A. Sudkamp},
    edition={2},
    publisher={Addison-Wesley},
    year={1997}
}

@book{scott,
    title={Programming Language Pragmatics},
    author={Michael L. Scott},
    publisher={Morgan Kaufmann},
    edition={3},
    year={2009}
}

@book{gries,
    author={David Gries and Fred B. Schneider},
    title={A Logical Approach to Discrete Math},
    edition={1},
    year={1993},
    publisher={Springer-Verlag},
    location={New York}
}

@book{kaldewaij,
    author={Anne Kaldewaij},
    title={Programming: The Derivation of Algorithms},
    publisher={Prentice Hall},
    edition={1},
    year={1990}
}


@book{aho2,
    author={Alfred V Aho and Monica S Lam and Ravi Sethi and
        Jeffrey Da Ullman},
    title={Compilers: Principles, Techniques \& Tools},
    publisher={Addison-Wesley},
    edition={2},
    year={2007}
}

@book{aho1,
    author={Alfred V Aho and Ravi Sethi and Jeffrey D Ullman},
    title={Compilers: Principles, Techniques & Tools},
    publisher={Addison-Wesley},
    edition={1},
    year={1986}
}


@misc{ayj,
    author={Joel Orlando Araujo and José Luis Jiménez},
    title={{Implementación de un compilador nativo para {GCL}}},
    school={Universidad Simón Bolívar},
    address={Universidad Simón Bolívar, Venezuela},
    year={2015}
}

@misc{brew,
    author={Max Howell},
    title={Homebrew},
    url={http://brew.sh/},
    urldate={2016-11-10}
}

@misc{deb,
    author={{\relax Debian} Project},
    title={Binary {P}ackage},
    url={https://wiki.debian.org/Packaging/BinaryPackage},
    urldate={2017-01-04}
}

@misc{ewd737,
    author={Edsger Wybe Dijkstra},
    title={A notational alternative for quantification},
    year={1980},
    url={http://www.cs.utexas.edu/users/EWD/ewd07xx/EWD737.PDF},
    urldate={2016-11-10}
}

@misc{valgrind,
    author={{The Valgrind Developers}},
    title={Valgrind},
    year={2016},
    url={http://valgrind.org/},
    urldate={2016-11-10}
}

@misc{perlguarded,
    author={Trey Harris},
    title={Commands::Guarded},
    year={2009},
    url={http://search.cpan.org/~trey/Commands-Guarded-1.01/lib/Commands/Guarded.pm#UTILITY_SUBROUTINES},
    urldate={2016-11-10}
}

@misc{gclonetwo,
    author={Pedro Cabalar},
    title={G{C}{L} 1.2: A small interpreter for {D}ijkstra's {G}uarded {C}ommand {L}anguage},
    year={2003},
    url={http://web.archive.org/web/20100406001834/http://www.dc.fi.udc.es/ai/~cabalar/gcl/},
    urldate={2016-11-10}
}

@misc{c-lang,
    author={Dennis M Ritchie},
    title={The {D}evelopment of the {C} {L}anguage},
    year={1993}
}

@misc{cpp-lang,
    author={Bjarne Stroustrup},
    title={Standard {C}++},
    year={1993},
    url={https://isocpp.org/},
    urldate={2016-11-11}
}

@misc{parsectry,
    author={Edward Z Yang},
    title={Parsec: “try a <|>~b” considered harmful},
    year={2014},
    url={http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/},
    urldate={2016-11-11}
}