@article(AZ-JFP02,
 author       = "D. Ancona and E. Zucca",
 year         = "2002",
 title        = "A Calculus of Module Systems",
 journal      = "Journal of Functional Programming",
 volume       = "12",
 number       = "2",
 pages        = "91--132",
 doi          = "10.1017/S0956796801004257",
)
@inproceedings(AnconaMoggi04,
 author       = "Davide Ancona and Eugenio Moggi",
 year         = "2004",
 title        = "A Fresh Calculus for Name Management",
 booktitle    = "GPCE'04",
 series       = "LNCS",
 volume       = "3286",
 publisher    = "Springer",
 pages        = "206--224",
 doi          = "10.1007/978-3-540-30175-2\_11",
)
@inproceedings(BiermanEtAl03a,
 author       = "Gavin Bierman and Michael W. Hicks and Peter Sewell and Gareth Stoyle and Keith Wansbrough",
 year         = "2003",
 title        = "Dynamic Rebinding for Marshalling and Update, with Destruct-Time $\lambda $",
 booktitle    = "ICFP'03",
 publisher    = "ACM Press",
 pages        = "99--110",
 doi          = "10.1145/944705.944715",
)
@article(Dami97alambda-calculus,
 author       = "Laurent Dami",
 year         = "1997",
 title        = "A Lambda-Calculus for Dynamic Binding",
 journal      = "Theoretical Computer Science",
 volume       = "192",
 number       = "2",
 pages        = "201--231",
 doi          = "10.1016/S0304-3975(97)00150-3",
)
@inproceedings(DezaniEtAl09,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Elena Zucca",
 year         = "2009",
 title        = "The essence of static and dynamic bindings",
 booktitle    = "ICTCS'09",
 note         = "\texttt {http://www.disi.unige.it/person/ZuccaE/Research/papers/ICTCS09-DGZ.pdf}",
)
@inproceedings(DezaniEtAl10,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Elena Zucca",
 year         = "2010",
 title        = "Intersection Types for Unbind and Rebind",
 editor       = "Elaine Pimentel and Betti Venneri and Joe Wells",
 booktitle    = "ITRS'10 - Intersection Types and Related Systems",
 series       = "EPTCS",
 volume       = "45",
 pages        = "45--58",
 doi          = "10.4204/EPTCS.45.4",
)
@article(DezaniEtAl11,
 author       = "Mariangiola Dezani-Ciancaglini and Paola Giannini and Elena Zucca",
 year         = "2011",
 title        = "Extending the lambda-calculus with unbind and rebind",
 journal      = "RAIRO - Theoretical Informatics and Applications",
 volume       = "45",
 number       = "1",
 pages        = "143--162",
 doi          = "10.1051/ita/2011008",
)
@article(Jay04,
 author       = "C. Barry Jay",
 year         = "2004",
 title        = "The pattern calculus",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "26",
 number       = "6",
 pages        = "911--937",
 doi          = "10.1145/1034774.1034775",
)
@article(M98,
 author       = "Luc Moreau",
 year         = "1998",
 title        = "A Syntactic Theory of Dynamic Binding",
 journal      = "Higher Order and Symbolic Computation",
 volume       = "11",
 number       = "3",
 pages        = "233--279",
 doi          = "10.1023/A:1010087314987",
)
@inproceedings(Nanevski03,
 author       = "Aleksandar Nanevski",
 year         = "2003",
 title        = "From dynamic binding to state via modal possibility",
 booktitle    = "PPDP'03",
 publisher    = "ACM",
 pages        = "207--218",
 doi          = "10.1145/888251.888271",
)
@article(NanevskiPfenning05,
 author       = "Aleksandar Nanevski and Frank Pfenning",
 year         = "2005",
 title        = "Staged computation with names and necessity",
 journal      = "Journal of Functional Programming",
 volume       = "15",
 number       = "5",
 pages        = "893--939",
 doi          = "10.1017/S095679680500568X",
)
@article(NanevskiEtAl08,
 author       = "Aleksandar Nanevski and Frank Pfenning and Brigitte Pientka",
 year         = "2008",
 title        = "Contextual modal type theory",
 journal      = "ACM Transactions on Computer Logic",
 volume       = "9",
 number       = "3",
 doi          = "10.1145/1352582.1352591",
)
@inproceedings(RytzOdersky10,
 author       = "Lukas Rytz and Martin Odersky",
 year         = "2010",
 title        = "Named and default arguments for polymorphic object-oriented languages",
 booktitle    = "OOPS'10",
 publisher    = "ACM Press",
 pages        = "2090--2095",
 doi          = "10.1145/1774088.1774529",
)
@article(MetaML,
 author       = "Walid Taha and Tim Sheard",
 year         = "2000",
 title        = "Meta{M}{L} and multi-stage programming with explicit annotations",
 journal      = "Theoretical Computer Science",
 volume       = "248",
 number       = "1-2",
 pages        = "211--242",
 doi          = "10.1016/S0304-3975(00)00053-0",
)