@incollection(baader94,
 author       = "F.~Baader and J.~H. Siekmann",
 year         = "1994",
 title        = "Unification theory",
 editor       = "Dov~M. Gabbay and Christopher~J. Hogger and J.~A. Robinson and J{\"o}rg~H. Siekmann",
 booktitle    = "Handbook of Logic in Artificial Intelligence and Logic Programming (2)",
 publisher    = "Oxford University Press",
 pages        = "41--126",
)
@inproceedings(baltopoulos09,
 author       = "I.~G. Baltopoulos and A.~D. Gordon",
 year         = "2009",
 title        = "Secure {C}ompilation of a {M}ulti-{T}ier {W}eb {L}anguage",
 booktitle    = "TLDI '09: Proceedings of the 4th international workshop on Types in language design and implementation",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "27--38",
 doi          = "10.1145/1481861.1481866",
)
@inproceedings(Bengtson:2008:RTS:1380848.1381243,
 author       = "J.~Bengtson and K.~Bhargavan and C.~Fournet and A.~D. Gordon and S.~Maffeis",
 year         = "2008",
 title        = "Refinement Types for Secure Implementations",
 booktitle    = "Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "17--32",
 doi          = "10.1109/CSF.2008.27",
 url          = "http://portal.acm.org/citation.cfm?id=1380848.1381243",
)
@incollection(Cooper06links,
 author       = "Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop",
 year         = "2007",
 title        = "Links: Web Programming Without Tiers",
 editor       = "Frank de~Boer and Marcello Bonsangue and Susanne Graf and Willem-Paul de~Roever",
 booktitle    = "Formal Methods for Components and Objects",
 series       = "Lecture Notes in Computer Science",
 volume       = "4709",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "266--296",
 doi          = "10.1007/978-3-540-74792-5_12",
)
@inproceedings(Cousot97-1,
 author       = "P{.} Cousot",
 year         = "1997",
 title        = "Types as Abstract Interpretations, invited paper",
 booktitle    = "Conference Record of the Twentyfourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 publisher    = "ACM Press, New York, NY",
 address      = "Paris, France",
 pages        = "316--331",
 doi          = "10.1145/263699.263744",
)
@inproceedings(CousotCousot77-1,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "1977",
 title        = "Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints",
 booktitle    = "Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 publisher    = "ACM Press, New York, NY",
 address      = "Los Angeles, California",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@inproceedings(CousotCousot79-1,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "1979",
 title        = "Systematic design of program analysis frameworks",
 booktitle    = "Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 publisher    = "ACM Press, New York, NY",
 address      = "San Antonio, Texas",
 pages        = "269--282",
 doi          = "10.1145/567752.567778",
)
@article(CousotCousot92-1,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "1992",
 title        = "Abstract Interpretation and Application to Logic Programs",
 journal      = "Journal of Logic Programming",
 volume       = "13",
 number       = "2--3",
 pages        = "103--179",
 doi          = "10.1016/0743-1066(92)90030-7",
)
@article(CousotCousot92-2,
 author       = "P{.} Cousot and R{.} Cousot",
 year         = "1992",
 title        = "Abstract Interpretation Frameworks",
 journal      = "Journal of Logic and Computation",
 volume       = "2",
 number       = "4",
 pages        = "511--547",
 doi          = "10.1093/logcom/2.4.511",
)
@inproceedings(DamasMilner82,
 author       = "L.~Damas and R.~Milner",
 year         = "1982",
 title        = "Principal type-schemes for functional programs",
 booktitle    = "POPL '82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "207--212",
 doi          = "10.1145/582153.582176",
)
@mastersthesis(galletta10,
 author       = "L.~Galletta",
 year         = "2010",
 title        = "Una semantica astratta per l'inferenza dei tipi ed effetti in un linguaggio multi-tier",
 school       = "Universit\`a di Pisa",
)
@inproceedings(Gifford:1986:IFI:319838.319848,
 author       = "D.~K. Gifford and J.~M. Lucassen",
 year         = "1986",
 title        = "Integrating functional and imperative programming",
 booktitle    = "Proceedings of the 1986 ACM conference on LISP and functional programming",
 series       = "LFP '86",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "28--38",
 doi          = "10.1145/319838.319848",
)
@inproceedings(Gori02,
 author       = "R.~Gori and G.~Levi",
 year         = "2002",
 title        = "An Experiment in Type Inference and Verification by Abstract Interpretation",
 booktitle    = "VMCAI '02: Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "225--239",
 doi          = "10.1007/3-540-47813-2_16",
)
@inbook(Gunter90,
 author       = "C.~A. Gunter and D.~S. Scott",
 year         = "1990",
 title        = "Semantic Domains",
 chapter      = "12",
 pages        = "634--674",
 volume       = "Handbook of Theoretical Computer Science",
 publisher    = "Elsevier Science",
)
@article(Hindley69,
 author       = "R.~Hindley",
 year         = "1969",
 title        = "The Principal Type-Scheme of an Object in Combinatory Logic",
 journal      = "Transactions of the American Mathematical Society",
 volume       = "146",
 pages        = "29--60",
)
@misc(ocamlsite,
 author       = "{INRIA}",
 title        = "The {C}aml {L}anguage",
 url          = "http://caml.inria.fr",
 note         = "WWW publication",
)
@inproceedings(Lassez88,
 author       = "J.-L. Lassez and M.~J. Maher and K.~Marriott",
 year         = "1988",
 title        = "Unification revisited",
 booktitle    = "Foundations of deductive databases and logic programming",
 publisher    = "Morgan Kaufmann Publishers Inc.",
 address      = "San Francisco, CA, USA",
 pages        = "587--625",
)
@article(Leroy:2000:TAU:349214.349230,
 author       = "X.~Leroy and F.~Pessaux",
 year         = "2000",
 title        = "Type-based analysis of uncaught exceptions",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "22",
 pages        = "340--377",
 doi          = "10.1145/349214.349230",
)
@inproceedings(Meijer03programmingwith,
 author       = "E.~Meijer and W.~Schulte and G.~Bierman",
 year         = "2003",
 title        = "Programming with circles, triangles and rectangles",
 booktitle    = "In XML Conference and Exposition",
)
@inproceedings(Monsuez92,
 author       = "B.~Monsuez",
 year         = "1992",
 title        = "Polymorphic Typing by Abstract Interpretation",
 booktitle    = "Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "217--228",
 doi          = "10.1007/3-540-56287-7_107",
)
@incollection(springerlink:10.1007/BFb0016845,
 author       = "F.~Nielson and H.~Nielson",
 year         = "1994",
 title        = "Constraints for polymorphic behaviours of concurrent ML",
 editor       = "Jean-Pierre Jouannaud",
 booktitle    = "Constraints in Computational Logics",
 series       = "Lecture Notes in Computer Science",
 volume       = "845",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "73--88",
 doi          = "10.1007/BFb0016845",
)
@book(NiNi05ppa,
 author       = "F.~Nielson and H.~Riis Nielson and C.~Hankin",
 year         = "2005",
 title        = "Principles of Program Analysis",
 edition      = "1st ed. 1999. corr. 2nd printing, 1999",
 publisher    = "Springer",
)
@article(Queinnec:2000:IBE:357766.351243,
 author       = "C.~Queinnec",
 year         = "2000",
 title        = "The influence of browsers on evaluators or, continuations to program web servers",
 journal      = "SIGPLAN Not.",
 volume       = "35",
 pages        = "23--33",
 doi          = "10.1145/357766.351243",
)
@book(schmidt86,
 author       = "D.~Schmidt",
 year         = "1986",
 title        = "Denotational Semantics: A Methodology for Language Development",
 publisher    = "William C Brown Pub",
)
@misc(Vouillon95typeand,
 author       = "J.~Vouillon and P.~Jouvelot",
 year         = "1995",
 title        = "Type and Effect Systems via Abstract Interpretation",
 url          = "http://www.cri.ensmp.fr/classement/doc/A-273.pdf",
)
@book(Winskel99,
 author       = "G.~Winskel",
 year         = "1993",
 title        = "The Formal Semantics of Programming Languages",
 publisher    = "MIT Press",
)