Commit 76f8beb4 authored by POTTIER Francois's avatar POTTIER Francois

Bibliography.

parent fb20be25
......@@ -321,6 +321,8 @@
@String{sigops = "ACM Operating Systems Review"}
@String{sle = "Software Language Engineering"}
@String{snapl = "Summit on Advances in Programming Languages (SNAPL)"}
@String{soda = "Symposium on Discrete Algorithms (SODA)"}
......@@ -1170,6 +1172,42 @@
URL = "http://logic.cs.tsukuba.ac.jp/~kam/paper/aplas07.pdf",
}
@Article{aspinall-07,
author = "David Aspinall and Lennart Beringer and Martin Hofmann
and Hans{-}Wolfgang Loidl and Alberto Momigliano",
title = "A program logic for resources",
journal = tcs,
volume = "389",
number = "3",
pages = "411--445",
year = "2007",
URL = "https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann/publikationen-pdfs/j25-ProgramLogisResources.pdf",
}
@InProceedings{aspinall-hofmann-02,
author = "David Aspinall and Martin Hofmann",
title = "Another Type System for In-Place Update",
booktitle = esop,
pages = "36--52",
year = "2002",
series = lncs,
volume = "2305",
publisher = springer,
URL = "https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann/publikationen-pdfs/c22-anothertypesystem.pdf",
}
@Article{aspinall-hofmann-konecky-08,
author = "David Aspinall and Martin Hofmann and Michal Kone{\v
c}n{\'{y}}",
title = "A type system with usage aspects",
journal = jfp,
volume = "18",
number = "2",
pages = "141--178",
year = "2008",
URL = "http://dx.doi.org/10.1017/S0956796807006399",
}
@Misc{astree,
author = "Patrick Cousot and Radhia Cousot and Jérôme Feret
and Antoine Miné and Xavier Rival",
......@@ -1262,6 +1300,21 @@
URL = "http://www-igm.univ-mlv.fr/~berstel/Articles/CFLPDA.ps.gz",
}
@InProceedings{autosubst-15,
author = "Steven Sch{\"{a}}fer and Tobias Tebbi and Gert
Smolka",
title = "{Autosubst}: Reasoning with {de Bruijn} Terms and
Parallel Substitutions",
booktitle = itp,
pages = "359--374",
year = "2015",
series = lncs,
volume = "9236",
publisher = springer,
year = "2015",
URL = "https://www.ps.uni-saarland.de/Publications/documents/SchaeferEtAl_2015_Autosubst_-Reasoning.pdf",
}
@InProceedings{ayache-amadio-regis-gianas-12,
author = "Nicholas Ayache and Roberto M. Amadio and Yann
R{\'{e}}gis{-}Gianas",
......@@ -1298,7 +1351,7 @@
}
@Article{baker-77,
author = "Henry G. {Baker,Jr.}",
author = "Henry G. Baker",
title = "List Processing in Real Time on a Serial Computer",
journal = cacm,
volume = "21",
......@@ -2671,6 +2724,17 @@
URL = "http://caml.inria.fr/",
}
@InProceedings{carbonneaux-14,
author = "Quentin Carbonneaux and Jan Hoffmann and Tahina
Ramananandro and Zhong Shao",
title = "End-to-end verification of stack-space bounds for {C}
programs",
booktitle = pldi,
pages = "270--281",
year = "2014",
URL = "http://flint.cs.yale.edu/flint/publications/veristack.pdf",
}
@InCollection{cardelli-97,
author = "Luca Cardelli",
title = "Type Systems",
......@@ -4765,6 +4829,14 @@
URL = "http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-fahndrich.pdf",
}
@Unpublished{fan,
author = "Hongbo Zhang and Steve Zdancewic",
title = "{Fan}: compile-time metaprogramming for {OCaml}",
note = "Unpublished",
year = "2013",
URL = "http://zhanghongbo.me/fan/_downloads/metaprogramming_for_ocaml.pdf",
}
@Article{faxen-02,
author = "Karl-Filip Fax\'{e}n",
title = "A Static Semantics for {Haskell}",
......@@ -4824,6 +4896,17 @@
year = "1974",
}
@InProceedings{ferreira-pientka-17,
author = "Francisco Ferreira and Brigitte Pientka",
title = "Programs Using Syntax with First-Class Binders",
booktitle = esop,
year = "2017",
series = lncs,
volume = "10201",
publisher = springer,
URL = "http://www.cs.mcgill.ca/~bpientka/papers/esop17_ferreira.pdf",
}
@Article{fftw-05,
author = "Matteo Frigo and Steven G. Johnson",
title = "The Design and Implementation of {FFTW3}",
......@@ -5182,7 +5265,7 @@
booktitle = popl,
pages = "372--385",
year = "1996",
URL = "http://research.microsoft.com/~fournet/papers/reflexive-cham-join-calculus.ps",
URL = "https://doi.org/10.1145/237721.237805",
}
@InProceedings{fournet-gordon-02,
......@@ -5682,6 +5765,20 @@
URL = "http://glew.org/nglew/papers/occ-hoots.ps.gz",
}
@InProceedings{gmeta-12,
author = "Gyesik Lee and Bruno C. d. S. Oliveira and Sungkeun
Cho and Kwangkeun Yi",
title = "{GMeta}: {A} Generic Formal Metatheory Framework for
First-Order Representations",
booktitle = esop,
pages = "436--455",
year = "2012",
series = lncs,
volume = "7211",
publisher = springer,
URL = "http://ropas.snu.ac.kr/gmeta/gmeta.pdf",
}
@InProceedings{goerdt-85,
author = "Andreas Goerdt",
title = "A {Hoare} Calculus for Functions Defined by Recursion
......@@ -6085,6 +6182,18 @@
URL = "http://dx.doi.org/10.1017/S0956796808007119",
}
@Article{harper-honsell-plotkin-93,
author = "Robert Harper and Furio Honsell and Gordon D.
Plotkin",
title = "A Framework for Defining Logics",
journal = jacm,
volume = "40",
number = "1",
pages = "143--184",
year = "1993",
URL = "http://homepages.inf.ed.ac.uk/gdp/publications/Framework_Def_Log.pdf",
}
@Article{harper-licata-07,
author = "Robert Harper and Daniel R. Licata",
title = "Mechanizing metatheory in a logical framework",
......@@ -6798,7 +6907,7 @@
volume = "2076",
series = lncs,
publisher = springer,
URL = "http://www.dimi.uniud.it/~miculan/Papers/ICALP01.pdf",
URL = "https://users.dimi.uniud.it/~marino.miculan/Papers/ICALP01.pdf",
}
@InCollection{hopcroft-minimizing-71,
......@@ -6896,6 +7005,14 @@
URL = "http://people.cs.ksu.edu/~rhowell/asymptotic.pdf",
}
@Misc{howell-book,
author = "Rodney R. Howell",
title = "Algorithms: {A} Top-Down Approach",
year = "2012",
note = "Draft",
URL = "http://people.cs.ksu.edu/~rhowell/algorithms-text/text/",
}
@Article{hru-76,
author = "Michael A. Harrison and Walter L. Ruzzo and Jeffrey D.
Ullman",
......@@ -7648,6 +7765,15 @@
year = "1988",
}
@Unpublished{keuchel-schrijvers-inbound-15,
author = "Steven Keuchel and Tom Schrijvers",
title = "\textsc{InBound}: simple yet powerful specification of
syntax with binders",
note = "Unpublished",
year = "2015",
URL = "http://users.ugent.be/~skeuchel/publications/inbound.pdf",
}
@InProceedings{kfoury-ml-90,
author = "Assaf J. Kfoury and Jerzy Tiuryn and Pawel Urzyczyn",
title = "{ML} Typability is {DEXPTIME}-Complete",
......@@ -7900,6 +8026,19 @@
URL = "http://doi.acm.org/10.1145/41625.41632",
}
@InProceedings{konat-13,
author = "Gabri{\"e}l Konat and Lennart Kats and Guido Wachsmuth
and Eelco Visser",
title = "Declarative Name Binding and Scope Rules",
booktitle = sle,
year = "2013",
publisher = springer,
volume = "7745",
series = lncs,
pages = "311--331",
URL = "http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2012-015.pdf",
}
@InProceedings{koprowski-binsztok-10,
author = "Adam Koprowski and Henri Binsztok",
title = "{TRX}: {A} Formally Verified Parser Interpreter",
......@@ -8554,6 +8693,19 @@
URL = "http://software.imdea.org/~aleks/papers/concur/scsl4.pdf",
}
@InProceedings{lgph-08,
author = "Johan Jeuring and Sean Leather and Jos{\'{e}} Pedro
Magalh{\~{a}}es and Alexey Rodriguez Yakushev",
title = "Libraries for Generic Programming in {Haskell}",
booktitle = afp,
pages = "165--229",
year = "2008",
series = lncs,
volume = "5832",
publisher = springer,
URL = "http://dreixel.net/research/pdf/lgph.pdf",
}
@InProceedings{licata-harper-09,
author = "Daniel R. Licata and Robert Harper",
title = "A universe of binding and computation",
......@@ -8681,6 +8833,17 @@
URL = "http://pag.lcs.mit.edu/reading-group/lucassen88effects.pdf",
}
@InProceedings{mackenzie-wolverson-03,
author = "Kenneth MacKenzie and Nicholas Wolverson",
title = "{Camelot} and {Grail}: resource-aware functional
programming for the {JVM}",
booktitle = tfp,
pages = "29--46",
year = "2003",
volume = "4",
URL = "http://groups.inf.ed.ac.uk/mrg/publications/mrg/camelot.ps",
}
@Article{macqueen-plotkin-sethi-86,
author = "David B. MacQueen and Gordon D. Plotkin and Ravi
Sethi",
......@@ -9060,6 +9223,18 @@
URL = "http://www.loria.fr/~merz/papers/mc-iste2008.pdf",
}
@InProceedings{miller-00,
author = "Dale Miller",
title = "Abstract Syntax for Variable Binders: An Overview",
booktitle = "Computational Logic",
pages = "239--253",
year = "2000",
series = lncs,
volume = "1861",
publisher = springer,
URL = "http://www.lix.polytechnique.fr/~dale/papers/cl2000.pdf",
}
@InProceedings{miller-90,
author = "Dale Miller",
title = "An Extension to {ML} to Handle Bound Variables in Data
......@@ -9639,6 +9814,15 @@
URL = "http://www.cs.cornell.edu/andru/papers/jsac/sm-jsac03.pdf",
}
@InProceedings{nadathur-miller-88,
author = "Gopalan Nadathur and Dale Miller",
title = "An Overview of Lambda-Prolog",
booktitle = "Logic Programming",
pages = "810--827",
year = "1988",
URL = "http://repository.upenn.edu/cis_reports/595/",
}
@InProceedings{nadathur-qi-03,
author = "Gopalan Nadathur and Xiaochu Qi",
title = "Explicit Substitutions in the Reduction of Lambda
......@@ -9782,6 +9966,32 @@
URL = "http://www7.informatik.tu-muenchen.de/um/bibdb/navarro/pldi2011.pdf",
}
@InProceedings{needle-knot-16,
author = "Steven Keuchel and Stephanie Weirich and Tom
Schrijvers",
title = "Needle {\&} Knot: Binder Boilerplate Tied Up",
booktitle = esop,
pages = "419--445",
year = "2016",
series = lncs,
volume = "9632",
publisher = springer,
URL = "https://users.ugent.be/~skeuchel/publications/knot.pdf",
}
@InProceedings{neron-tolmach-visser-wachsmuth-15,
author = "Pierre Neron and Andrew P. Tolmach and Eelco Visser
and Guido Wachsmuth",
title = "A Theory of name resolution",
booktitle = esop,
pages = "205--231",
year = "2015",
series = lncs,
volume = "9032",
publisher = springer,
URL = "http://web.cecs.pdx.edu/~apt/esop15.pdf",
}
@InProceedings{neumann-12,
author = "René Neumann",
booktitle = "ATx/WInG: Joint Proceedings of the Workshops on
......@@ -9934,6 +10144,15 @@
URL = "http://caml.inria.fr/",
}
@Misc{ocaml,
author = "Xavier Leroy and Damien Doligez and Alain Frisch and
Jacques Garrigue and Didier Rémy and Jérôme
Vouillon",
title = "The {OCaml} system: documentation and user's manual",
year = "2016",
URL = "http://caml.inria.fr/pub/docs/manual-ocaml-4.04/index.html",
}
@Article{oconnor-07,
author = "Russell O'Connor",
title = "Assembly: Circular Programming with Recursive do",
......@@ -10483,7 +10702,7 @@
URL = "http://research.microsoft.com/Users/simonpj/papers/slpj-book-1987/",
}
@Article{peyton-jones-marlow-ghc-inliner-07,
@Article{peyton-jones-marlow-ghc-inliner-02,
author = "Simon {Peyton Jones} and Simon Marlow",
title = "Secrets of the {Glasgow Haskell Compiler} inliner",
journal = jfp,
......@@ -12395,13 +12614,16 @@
URL = "http://www.cl.cam.ac.uk/~amp12/papers/frepbm/frepbm.pdf",
}
@InProceedings{shinwell-05,
@Article{shinwell-05,
author = "Mark R. Shinwell",
title = "{Fresh O'Caml}: nominal abstract syntax for the
masses",
booktitle = ml,
year = "2005",
URL = "http://www.cl.cam.ac.uk/users/mrs30/papers/masses.pdf",
journal = entcs,
year = "2006",
volume = "148",
number = "2",
pages = "53--77",
URL = "http://dx.doi.org/10.1016/j.entcs.2005.11.040",
}
@PhdThesis{shinwell-phd,
......@@ -13054,6 +13276,61 @@
URL = "http://www.staff.science.uu.nl/~swier101/Papers/1996/DetErrCorrComPars.pdf",
}
@InProceedings{syb,
author = "Ralf L{\"{a}}mmel and Simon {Peyton Jones}",
title = "Scrap your boilerplate: a practical design pattern for
generic programming",
booktitle = tldi,
pages = "26--37",
year = "2003",
URL = "https://www.microsoft.com/en-us/research/wp-content/uploads/2003/01/hmap.pdf",
}
@InProceedings{syb-reloaded,
author = "Ralf Hinze and Andres L{\"{o}}h and Bruno C. d. S.
Oliveira",
title = "``Scrap Your Boilerplate'' Reloaded",
booktitle = flops,
pages = "13--29",
year = "2006",
series = lncs,
volume = "3945",
publisher = springer,
URL = "http://www.cs.ox.ac.uk/bruno.oliveira/SYB0.pdf",
}
@InProceedings{syb-revolutions,
author = "Ralf Hinze and Andres L{\"{o}}h",
title = "``Scrap Your Boilerplate'' Revolutions",
booktitle = mpc,
pages = "180--208",
year = "2006",
series = lncs,
volume = "4014",
publisher = springer,
URL = "https://www.andres-loeh.de/SYB1.pdf",
}
@InProceedings{syb2,
author = "Ralf L{\"{a}}mmel and Simon {Peyton Jones}",
title = "Scrap more boilerplate: reflection, zips, and
generalised casts",
booktitle = icfp,
pages = "244--255",
year = "2004",
URL = "https://doi.org/10.1145/1016848.1016883",
}
@InProceedings{syb3,
author = "Ralf L{\"{a}}mmel and Simon {Peyton Jones}",
title = "Scrap your boilerplate with class: extensible generic
functions",
booktitle = icfp,
pages = "204--215",
year = "2005",
URL = "https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/gmap3.pdf",
}
@PhdThesis{taha-99,
author = "Walid Taha",
title = "Multi-stage Programming: Its Theory and Applications",
......@@ -13103,7 +13380,7 @@
volume = "112",
number = "1",
pages = "99--143",
URL = "http://steam.stanford.edu/MT/91amast-tcs.ps.Z",
URL = "http://dx.doi.org/10.1016/0304-3975(93)90240-T",
}
@Article{talpin-jouvelot-94,
......@@ -13528,7 +13805,7 @@
title = "Nominal Unification",
journal = tcs,
year = "2004",
URL = "http://www.cl.cam.ac.uk/~cu200/Unification/nomu-tcs.ps",
URL = "http://gabbay.org.uk/papers/nomu-jv.pdf",
volume = "323",
pages = "473--497",
}
......@@ -13541,7 +13818,7 @@
number = "4",
year = "2008",
pages = "327--356",
URL = "http://www4.in.tum.de/~urbanc/Publications/nom-tech.ps",
URL = "https://nms.kcl.ac.uk/christian.urban/Publications/nom-tech.pdf",
}
@Unpublished{urban-nipkow-08,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment