From 53d6057ef4d1f309767d0ece759887b268127009 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Mon, 29 Dec 2014 13:00:53 +0100 Subject: [PATCH] Bibliography update. No months. Added links to CompCert's github repository. --- doc/english.bib | 762 +----------------------------------------------- doc/local.bib | 6 + doc/main.tex | 9 +- 3 files changed, 13 insertions(+), 764 deletions(-) create mode 100644 doc/local.bib diff --git a/doc/english.bib b/doc/english.bib index 4cbf84a0..0f06bbfa 100644 --- a/doc/english.bib +++ b/doc/english.bib @@ -380,7 +380,6 @@ author = "Martín Abadi and Bruno Blanchet", title = "Secrecy Types for Asymmetric Communication", booktitle = fossacs, - month = apr, year = "2001", volume = "2030", series = lncs, @@ -398,7 +397,6 @@ volume = "125", number = "2", pages = "78--102", - month = mar, URL = "http://research.microsoft.com/Users/luca/Papers/PrimObj1stOrder.pdf", } @@ -410,7 +408,6 @@ volume = "25", number = "2--3", pages = "81--116", - month = dec, URL = "http://research.microsoft.com/Users/luca/Papers/PrimObj2ndOrder.pdf", } @@ -419,7 +416,6 @@ author = "Martín Abadi and Anindya Banerjee and Nevin Heintze and Jon G. Riecke", booktitle = popl, - month = jan, year = "1999", pages = "147--160", URL = "http://www.soe.ucsc.edu/~abadi/Papers/flowpopl.ps", @@ -431,7 +427,6 @@ booktitle = lics, pages = "242--252", year = "1996", - month = jul, URL = "http://www.soe.ucsc.edu/~abadi/Papers/rec.ps", } @@ -441,7 +436,6 @@ Lévy", pages = "83--91", booktitle = icfp, - month = may, year = "1996", URL = "http://www.soe.ucsc.edu/~abadi/Papers/make-preprint.ps", } @@ -454,7 +448,6 @@ Science", volume = "2", number = "1", - month = mar, year = "1991", pages = "1--21", URL = "http://www.cis.upenn.edu/~bcpierce/papers/ideals.ps", @@ -477,7 +470,6 @@ title = "Verifying {Haskell} programs using constructive type theory", booktitle = hw, - month = sep, year = "2005", pages = "62--73", URL = "http://www.tcs.informatik.uni-muenchen.de/~abel/haskell05.pdf", @@ -488,7 +480,6 @@ title = "{MiniAgda}: Integrating Sized and Dependent Types", booktitle = "Workshop on Partiality And Recursion in Interactive Theorem Provers (PAR)", - month = jul, year = "2010", URL = "http://www2.tcs.ifi.lmu.de/~abel/par10.pdf", } @@ -528,7 +519,6 @@ author = "Sten Agerholm", title = "{LCF} Examples in {HOL}", institution = "BRICS", - month = jun, year = "1994", number = "RS-94-18", URL = "http://www.brics.dk/RS/94/18/BRICS-RS-94-18.ps.gz", @@ -541,7 +531,6 @@ institution = "BRICS", year = "1994", number = "RS-94-44", - month = dec, URL = "http://www.brics.dk/RS/94/44/BRICS-RS-94-44.ps.gz", } @@ -559,7 +548,6 @@ Embeddable in Higher-Order Logic", booktitle = lics, pages = "75--86", - month = jul, year = "2002", URL = "http://www.cs.princeton.edu/sip/pub/stratified-lics02.pdf", } @@ -569,7 +557,6 @@ title = "Typed closure conversion preserves observational equivalence", booktitle = icfp, - month = sep, year = "2008", pages = "157--168", URL = "http://ttic.uchicago.edu/~amal/papers/tccpoe.pdf", @@ -579,7 +566,6 @@ author = "Amal Ahmed and Derek Dreyer and Andreas Rossberg", title = "State-dependent representation independence", booktitle = popl, - month = jan, year = "2009", pages = "340--353", URL = "http://ttic.uchicago.edu/~amal/papers/sdri.pdf", @@ -589,7 +575,6 @@ author = "Amal J. Ahmed and Matthew Fluet and Greg Morrisett", title = "A step-indexed model of substructural state", booktitle = icfp, - month = sep, year = "2005", pages = "78--91", URL = "http://www.cs.rit.edu/~mtf/research/substruct-state/ICFP05/icfp05.pdf", @@ -658,7 +643,6 @@ volume = "30", number = "6", pages = "174--185", - month = jun, year = "1995", URL = "http://www.cs.berkeley.edu/~aiken/ftp/region.ps", } @@ -669,7 +653,6 @@ Constraints", pages = "114--126", booktitle = sas, - month = sep, year = "1997", URL = "http://www.cs.berkeley.edu/~aiken/publications/papers/sas97.ps", } @@ -679,7 +662,6 @@ institution = "University of California, Berkeley", title = "Making Set-Constraint Based Program Analyses Scale", year = "1996", - month = sep, author = "Alexander S. Aiken and Manuel F{\"a}hndrich", URL = "http://research.microsoft.com/pubs/67469/scw96.pdf", } @@ -689,7 +671,6 @@ institution = "University of California, Berkeley", title = "Subtyping Polymorphic Constrained Types", year = "1996", - month = mar, author = "Alexander S. Aiken and Manuel F{\"a}hndrich", } @@ -717,7 +698,6 @@ title = "Optimal Representations of Polymorphic Types with Subtyping", year = "1996", - month = jul, pages = "31", author = "Alexander S. Aiken and Edward L. Wimmers and Jens Palsberg", @@ -729,7 +709,6 @@ title = "Solving Systems of Set Constraints", pages = "329--340", booktitle = lics, - month = jun, year = "1992", URL = "http://http.cs.berkeley.edu/~aiken/ftp/lics92.ps", } @@ -750,7 +729,6 @@ booktitle = popl, title = "Soft Typing with Conditional Types", year = "1994", - month = jan, pages = "163--173", URL = "http://http.cs.berkeley.edu/~aiken/ftp/popl94.ps", } @@ -760,7 +738,6 @@ author = "Karl Naden and Robert Bocchino and Jonathan Aldrich and Kevin Bierhoff", booktitle = popl, - month = jan, year = "2012", pages = "557--570", URL = "http://cs.cmu.edu/afs/cs.cmu.edu/Web/People/kbn/pubs/poplBorrowing.pdf", @@ -771,7 +748,6 @@ title = "The power of interoperability: why objects are inevitable", booktitle = "onward", - month = oct, year = "2013", pages = "101--116", URL = "http://www.cs.cmu.edu/~aldrich/papers/objects-essay.pdf", @@ -782,7 +758,6 @@ title = "Resource-Based Programming in {Plaid}", note = "Fun Ideas and Thoughts", year = "2010", - month = jun, URL = "http://www.cs.cmu.edu/~aldrich/papers/pldi-fit10.pdf", } @@ -793,7 +768,6 @@ booktitle = oopslacomp, pages = "1015--1022", year = "2009", - month = oct, URL = "http://www.cs.cmu.edu/~aldrich/papers/onward2009-state.pdf", } @@ -805,7 +779,6 @@ year = "2000", volume = "1782", series = lncs, - month = mar, publisher = springer, URL = "http://www.cs.cornell.edu/talc/papers/alias.pdf", } @@ -815,7 +788,6 @@ title = "Balloon Types: Controlling Sharing of State in Data Types", booktitle = ecoop, - month = jun, year = "1997", pages = "32--59", publisher = springer, @@ -830,7 +802,6 @@ title = "{$\Pi$}{$\Sigma$}: Dependent Types Without the Sugar", booktitle = flops, pages = "40--55", - month = apr, year = "2010", publisher = springer, series = lncs, @@ -858,7 +829,6 @@ volume = "15", number = "4", pages = "575--631", - month = sep, year = "1993", URL = "http://research.microsoft.com/Users/luca/Papers/SRT.pdf", } @@ -921,14 +891,12 @@ volume = "2", number = "1", pages = "56--76", - month = jan, year = "1980", } @InProceedings{aponte-dicosmo-96, author = "Maria-Virginia Aponte and Roberto {Di Cosmo}", title = "Type isomorphisms for module signatures", - month = sep, year = "1996", booktitle = plilp, publisher = springer, @@ -955,7 +923,6 @@ title = "A very modal model of a modern, major, general type system", booktitle = popl, - month = jan, year = "2007", pages = "109--122", URL = "http://www.cs.princeton.edu/~appel/papers/modalmodel.pdf", @@ -973,7 +940,6 @@ author = "Andrew W. Appel", title = "{VeriSmall}: Verified {Smallfoot} Shape Analysis", booktitle = cpp, - month = dec, year = "2011", pages = "231--246", publisher = springer, @@ -1068,7 +1034,6 @@ year = "2009", volume = "5608", series = lncs, - month = jul, publisher = springer, URL = "https://personal.cis.strath.ac.uk/~raa/syntaxforfree.pdf", } @@ -1079,7 +1044,6 @@ booktitle = hs, pages = "37--48", year = "2009", - month = sep, URL = "http://personal.cis.strath.ac.uk/~raa/unembedding.pdf", } @@ -1118,7 +1082,6 @@ year = "2000", volume = "1781", series = lncs, - month = mar, publisher = springer, URL = "http://pages.cpsc.ucalgary.ca/~aycock/papers/ssa.ps", } @@ -1128,7 +1091,6 @@ C.} Pierce and Randy Pollack and Stephanie Weirich", booktitle = popl, title = "Engineering Formal Metatheory", - month = jan, year = "2008", pages = "3--15", URL = "http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf", @@ -1139,7 +1101,6 @@ title = "Unify and conquer (Garbage, Updating, Aliasing, ...) in Functional Languages", booktitle = lfp, - month = jun, year = "1990", pages = "218--226", URL = "http://home.pipeline.com/~hbaker1/Share-Unify.ps.gz", @@ -1151,13 +1112,12 @@ title = "Type Soundness and Race Freedom for {Mezzo}", booktitle = "Proceedings of the 12th International Symposium on Functional and Logic Programming (FLOPS 2014)", - month = jun, year = "2014", series = lncs, publisher = springer, volume = "8475", pages = "253--269", - pdf = "http://gallium.inria.fr/~fpottier/publis/bpp-mezzo.pdf", + URL = "http://gallium.inria.fr/~fpottier/publis/bpp-mezzo.pdf", } @InProceedings{balat-dicosmo-fiore-02, @@ -1167,7 +1127,6 @@ Empty and Sum Type", booktitle = lics, year = "2002", - month = jul, URL = "http://www.cl.cam.ac.uk/~mpf23/papers/Types/remarks.ps.gz", } @@ -1194,7 +1153,6 @@ year = "2001", volume = "2215", series = lncs, - month = oct, publisher = springer, URL = "http://www.cis.ksu.edu/~ab/Publications/pcfa.ps.gz", } @@ -1203,7 +1161,6 @@ author = "Anindya Banerjee and Nevin Heintze and Jon G. Riecke", title = "Region Analysis and the Polymorphic Lambda Calculus", booktitle = lics, - month = jul, year = "1999", pages = "88--97", URL = "http://www.cs.ucla.edu/~palsberg/tba/papers/banerjee-heintze-riecke-lics99.pdf", @@ -1216,7 +1173,6 @@ institution = "Stevens Institute of Technology", number = "2001-1", year = "2001", - month = jun, URL = "http://guinness.cs.stevens-tech.edu/~naumann/publications/tr2001.ps", } @@ -1228,7 +1184,6 @@ year = "2005", volume = "3586", series = lncs, - month = jul, publisher = springer, URL = "https://guinness.cs.stevens-tech.edu/~naumann/publications/ecoop.pdf", } @@ -1239,7 +1194,6 @@ {Java}-like Language", booktitle = csfw, pages = "253--267", - month = jun, year = "2002", URL = "http://www.cs.stevens-tech.edu/~naumann/publications/csfw15.ps", } @@ -1249,7 +1203,6 @@ title = "Representation Independence, Confinement, and Access Control", booktitle = popl, - month = jan, year = "2002", pages = "166--177", URL = "http://guinness.cs.stevens-tech.edu/~naumann/publications/BanerjeeNaumann.ps", @@ -1262,7 +1215,6 @@ of Informatics at the University of Edinburgh", year = "1996", number = "ECS-LFCS-96-347", - month = sep, URL = "http://www.lfcs.inf.ed.ac.uk/reports/96/ECS-LFCS-96-347/", } @@ -1372,7 +1324,6 @@ volume = "2", number = "4", pages = "17--30", - month = mar, year = "1993", URL = "http://www.cs.fit.edu/~ryan/papers/explain.ps.gz", } @@ -1384,7 +1335,6 @@ Proof Frameworks", booktitle = pcc, year = "2008", - month = jun, URL = "http://www.cs.princeton.edu/~rdockins/pubs/semsyn.pdf", } @@ -1393,7 +1343,6 @@ Hook", title = "Type-driven Defunctionalization", booktitle = icfp, - month = aug, year = "1997", URL = "http://doi.acm.org/10.1145/258949.258953", } @@ -1403,7 +1352,6 @@ title = "Secure Computer Systems: Unified Exposition and {Multics} Interpretation", year = "1975", - month = jul, number = "MTR-2997", institution = "The {MITRE} Corp.", URL = "http://niatec.info/pdf/bell76.pdf", @@ -1427,7 +1375,6 @@ O'Hearn", title = "A Decidable Fragment of Separation Logic", booktitle = fsttcs, - month = dec, year = "2004", pages = "97--109", publisher = springer, @@ -1456,7 +1403,6 @@ series = entcs, publisher = elsevier, volume = "158", - month = may, year = "2006", pages = "81--98", URL = "http://research.microsoft.com/pubs/73584/bil.pdf", @@ -1467,7 +1413,6 @@ title = "A logical analysis of aliasing in imperative higher-order functions", booktitle = icfp, - month = sep, year = "2005", pages = "280--293", URL = "http://doi.acm.org/10.1145/1086365.1086401", @@ -1479,7 +1424,6 @@ title = "Secure Self-Certified {COTS}", booktitle = "IEEE International Workshop on Enterprise Security (WETICE'00)", - month = jun, year = "2000", URL = "http://www.ift.ulaval.ca/~lsfm/lsfm_eng/Publications/wetice2000_2.pdf", } @@ -1488,7 +1432,6 @@ author = "K. Bernstein and E. W. Stark", title = "Debugging Type Errors", year = "1995", - month = nov, URL = "http://bsd7.starkhome.cs.sunysb.edu/~stark/REPORTS/debugtype.ps.gz", note = "Unpublished", } @@ -1501,7 +1444,6 @@ booktitle = "Workshop on Types for Program Analysis", pages = "1--15", year = "1995", - month = may, URL = "http://www.laas.fr/~bernard/lcs/papers/tpa95.ps.gz", } @@ -1523,7 +1465,6 @@ Thomas Jensen", title = "Secure Calling Contexts for Stack Inspection", pages = "76--87", - month = oct, booktitle = ppdp, year = "2002", URL = "http://www.irisa.fr/lande/jensen/ppdp02.pdf", @@ -1538,7 +1479,6 @@ volume = "28", number = "2", pages = "181--190", - month = feb, URL = "http://www.cs.arizona.edu/people/todd/papers/TR95-09.ps", } @@ -1549,7 +1489,6 @@ booktitle = popl, pages = "445--456", year = "2010", - month = jan, URL = "http://moscova.inria.fr/~karthik/pubs/modular-verification-of-security-protocols-by-typing-popl10.pdf", } @@ -1562,7 +1501,6 @@ year = "1996", volume = "1055", series = lncs, - month = mar, publisher = springer, URL = "http://www.cs.umd.edu/~rance/publications/papers/tacas96a.ps.gz", } @@ -1576,7 +1514,6 @@ year = "1999", volume = "1579", series = lncs, - month = mar, publisher = springer, URL = "http://www.inf.ethz.ch/personal/biere/papers/BiereCimattiClarkeZhu-TACAS99.pdf", } @@ -1585,7 +1522,6 @@ author = "Kevin Bierhoff and Jonathan Aldrich", title = "Modular typestate checking of aliased objects", booktitle = oopsla, - month = oct, year = "2007", pages = "301--320", URL = "http://www.cs.cmu.edu/~kbierhof/papers/typestate-verification.pdf", @@ -1597,7 +1533,6 @@ title = "Practical {API} Protocol Checking with Access Permissions", booktitle = ecoop, - month = jul, year = "2009", pages = "195--219", publisher = springer, @@ -1611,7 +1546,6 @@ title = "{BI} Hyperdoctrines and Higher-Order Separation Logic", booktitle = esop, - month = apr, year = "2005", pages = "233--247", publisher = springer, @@ -1652,7 +1586,6 @@ volume = "9", number = "1", pages = "77--91", - month = jan, year = "1999", } @@ -1676,7 +1609,6 @@ year = "2006", volume = "2", number = "5", - month = nov, URL = "http://arxiv.org/pdf/cs.LO/0610081", } @@ -1686,7 +1618,6 @@ title = "A Metric Model of Lambda Calculus with Guarded Recursion", note = "Presented at FICS 2010", - month = jul, year = "2010", URL = "http://www.itu.dk/~birkedal/papers/nakano-conf.pdf", } @@ -1699,7 +1630,6 @@ booktitle = popl, pages = "119--132", year = "2011", - month = jan, URL = "http://www.eecs.qmul.ac.uk/~hyang/paper/popl11-long.pdf", } @@ -1710,7 +1640,6 @@ General References, and Recursive Types", booktitle = fossacs, pages = "456--470", - month = mar, year = "2009", volume = "5504", series = lncs, @@ -1763,7 +1692,6 @@ @Manual{bison, title = "Bison", author = "Charles Donnelly and Richard Stallman", - month = sep, year = "2005", URL = "http://www.gnu.org/software/bison/manual/", } @@ -1773,7 +1701,6 @@ title = "Dynamic Slicing in Higher-Order Programming Languages", year = "1997", - month = aug, pages = "151", author = "Sandip K. Biswas", } @@ -1784,7 +1711,6 @@ title = "Static Analysis of Processes for No Read-Up and No Write-Down", booktitle = fossacs, - month = mar, year = "1999", volume = "1578", series = lncs, @@ -1800,7 +1726,6 @@ journal = cacm, volume = "55", number = "2", - month = feb, year = "2012", pages = "48--54", URL = "http://doi.acm.org/10.1145/2076450.2076465", @@ -1812,7 +1737,6 @@ approach)", booktitle = fool, year = "2002", - month = jan, URL = "http://gallium.inria.fr/~bonniot/bonniot02.ps", } @@ -1822,7 +1746,6 @@ Languages", school = "Chalmers University of Technology", year = "1999", - month = apr, URL = "http://www.cs.chalmers.se/~boquist/phd/phd.ps.gz", } @@ -1834,7 +1757,6 @@ volume = "35", number = "5", pages = "353--400", - month = may, year = "1998", URL = "http://link.springer.de/link/service/journals/00236/papers/8035005/80350353.pdf", } @@ -1846,7 +1768,6 @@ and {Hoare} Types", booktitle = plpv, year = "2011", - month = jan, URL = "http://research.microsoft.com/pubs/135430/plpv11k-borgstrom.pdf", } @@ -1867,7 +1788,6 @@ O'Hearn and Matthew Parkinson", title = "Permission accounting in separation logic", booktitle = popl, - month = jan, year = "2005", pages = "259--270", URL = "http://www.dcs.qmul.ac.uk/~ohearn/papers/permissions_paper.pdf", @@ -1877,7 +1797,6 @@ author = "Gérard Boudol and Ilaria Castellani", title = "Non-interference for concurrent programs and thread systems", - month = sep, year = "2001", note = "To appear", URL = "ftp://ftp-sop.inria.fr/mimosa/personnel/gbo/non-interf-threads.ps.gz", @@ -1897,7 +1816,6 @@ author = "Sylvain Boulmé", title = "Intuitionistic Refinement Calculus", booktitle = tlca, - month = jun, year = "2007", pages = "54--69", volume = "4583", @@ -1910,7 +1828,6 @@ author = "Edward Kmett", title = "Bound", howpublished = "Blog post", - month = nov, year = "2014", URL = "https://www.fpcomplete.com/user/edwardk/bound", } @@ -1925,7 +1842,6 @@ year = "1996", type = "Research Report", number = "26", - month = mar, URL = "http://www.exalead.com/Francois.Bourdoncle/mlsub.html", } @@ -1934,7 +1850,6 @@ title = "Type Checking Higher-Order Polymorphic Multi-Methods", booktitle = popl, year = "1997", - month = jan, pages = "302--315", URL = "http://www.exalead.com/Francois.Bourdoncle/popl97.html", } @@ -1945,7 +1860,6 @@ title = "Ownership types for safe programming: preventing data races and deadlocks", booktitle = oopsla, - month = nov, year = "2002", pages = "211--230", URL = "http://doi.acm.org/10.1145/582419.582440", @@ -1956,7 +1870,6 @@ Shrira", title = "Ownership types for object encapsulation", booktitle = popl, - month = jan, year = "2003", pages = "213--223", URL = "http://www.pmg.lcs.mit.edu/~chandra/publications/popl03.pdf", @@ -1970,7 +1883,6 @@ year = "2001", volume = "31", number = "6", - month = may, pages = "533--553", URL = "http://www.cs.uwm.edu/faculty/boyland/papers/unique-preprint.ps", } @@ -1979,7 +1891,6 @@ author = "John Boyland", title = "Checking Interference with Fractional Permissions", booktitle = sas, - month = jun, year = "2003", series = lncs, publisher = springer, @@ -2002,7 +1913,6 @@ author = "John Tang Boyland and William Retert", title = "Connecting Effects and Uniqueness with Adoption", booktitle = popl, - month = jan, year = "2005", pages = "283--295", URL = "http://www.cs.uwm.edu/~boyland/papers/connecting2.pdf", @@ -2023,7 +1933,6 @@ institution = "University of Utah", year = "1991", number = "UUCS-91-017", - month = oct, URL = "http://www.bracha.org/modularity-meets-inheritance.ps", } @@ -2079,7 +1988,6 @@ volume = "93", number = "1", pages = "172--221", - month = jul, URL = "http://seclab.uiuc.edu/cgunter/publications/documents/Breazu-TannenCGS91.pdf", } @@ -2087,7 +1995,6 @@ author = "Stephen D. Brookes", title = "A Semantics for Concurrent Separation Logic", booktitle = concur, - month = aug, year = "2004", pages = "16--34", publisher = springer, @@ -2102,7 +2009,6 @@ title = "Automated Cyclic Entailment Proofs in Separation Logic", booktitle = cade, - month = jul, year = "2011", pages = "131--146", publisher = springer, @@ -2118,7 +2024,6 @@ Benjamin Pierce", title = "On Binary Methods", year = "1995", - month = dec, institution = "Department of Computer Science, Iowa State University", number = "95-08a", @@ -2131,7 +2036,6 @@ title = "Comparing Object Encodings", journal = ic, year = "1999", - month = nov, volume = "155", number = "1/2", pages = "108--133", @@ -2165,7 +2069,6 @@ volume = "177", number = "1", pages = "2--27", - month = aug, URL = "http://www.dsi.unive.it/~michele/Papers/PS/SplitTypes-ic02.ps.gz", } @@ -2176,7 +2079,6 @@ Storable Locks", journal = entcs, volume = "276", - month = sep, year = "2011", pages = "121--143", URL = "http://www.itu.dk/~birkedal/papers/locks.pdf", @@ -2218,7 +2120,6 @@ author = "Lu\'{\i}s Caires and Jo{\~a}o Costa Seco", title = "The type discipline of behavioral separation", booktitle = popl, - month = jan, year = "2013", pages = "275--286", URL = "http://dx.doi.org/10.1145/2429069.2429103", @@ -2244,7 +2145,6 @@ year = "2003", volume = "13", number = "3", - month = may, pages = "545--571", URL = "http://dx.doi.org/10.1017/S0956796802004598", } @@ -2255,7 +2155,6 @@ title = "Compositional shape analysis by means of bi-abduction", booktitle = popl, - month = jan, year = "2009", pages = "289--300", URL = "http://www.doc.ic.ac.uk/~ccris/ftp/popl09.pdf", @@ -2278,7 +2177,6 @@ Vafeiadis", title = "Bi-abductive Resource Invariant Synthesis", booktitle = aplas, - month = dec, year = "2009", pages = "259--274", publisher = springer, @@ -2304,7 +2202,6 @@ Yang", title = "Local Action and Abstract Separation Logic", booktitle = lics, - month = jul, year = "2007", pages = "366--378", URL = "http://www.doc.ic.ac.uk/~ccris/ftp/asl-short.pdf", @@ -2347,7 +2244,6 @@ year = "1994", type = "Research Report", number = "121", - month = feb, URL = "http://gatekeeper.dec.com/pub/compaq/SRC/research-reports/SRC-121.ps.gz", } @@ -2359,7 +2255,6 @@ volume = "1", number = "4", pages = "417--458", - month = oct, URL = "http://research.microsoft.com/Users/luca/Papers/QuestSem.pdf", } @@ -2379,7 +2274,6 @@ journal = ic, volume = "76", number = "2/3", - month = feb, year = "1988", pages = "138--164", URL = "http://research.microsoft.com/Users/luca/Papers/Inheritance.pdf", @@ -2398,7 +2292,6 @@ booktitle = "Formal Description of Programming Concepts", year = "1989", series = "IFIP State of the Art Reports Series", - month = feb, publisher = springer, URL = "http://research.microsoft.com/Users/luca/Papers/TypefulProg.pdf", } @@ -2411,7 +2304,6 @@ volume = "17", number = "4", pages = "471--522", - month = dec, year = "1985", URL = "http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.pdf", } @@ -2446,7 +2338,6 @@ Shan", title = "Finally Tagless, Partially Evaluated", booktitle = aplas, - month = nov, year = "2007", pages = "222--238", publisher = springer, @@ -2464,7 +2355,6 @@ volume = "62", number = "1", pages = "3--24", - month = sep, URL = "http://www.cas.mcmaster.ca/~carette/publications/ge.pdf", } @@ -2489,7 +2379,6 @@ institution = "Heriot-Watt University", year = "2004", number = "HW-MACS-TR-0012", - month = jan, URL = "http://www.macs.hw.ac.uk:8080/techreps/docs/files/HW-MACS-TR-0012.pdf", } @@ -2497,7 +2386,6 @@ author = "Robert Cartwright", title = "Notes on Object-Oriented Program Design", URL = "http://www.cs.rice.edu/~cork/book/", - month = jan, year = "2000", } @@ -2510,7 +2398,6 @@ year = "1993", publisher = springer, series = "Workshops in Computing", - month = sep, } @Article{castagna-contravariance-95, @@ -2521,7 +2408,6 @@ volume = "17", number = "3", pages = "431--447", - month = may, year = "1995", URL = "ftp://ftp.ens.fr/pub/di/users/castagna/covariance.ps.Z", } @@ -2530,7 +2416,6 @@ author = "Giuseppe Castagna and Alain Frisch", title = "A gentle introduction to semantic subtyping", booktitle = ppdp, - month = jul, year = "2005", pages = "198--199", URL = "http://www.pps.univ-paris-diderot.fr/~gc/papers/icalp-ppdp05.pdf", @@ -2545,7 +2430,6 @@ series = lncs, volume = "1782", pages = "56--71", - month = mar, year = "2000", URL = "http://mlton.org/papers/00-esop.ps.gz", } @@ -2557,7 +2441,6 @@ institution = "University of Washington", year = "1996", number = "UW-CSE-96-12-02", - month = dec, URL = "ftp://ftp.cs.washington.edu/pub/chambers/BeCecil.ps.gz", } @@ -2572,7 +2455,6 @@ author = "Bor-Yuh Evan Chang and Xavier Rival", title = "Relational inductive shape analysis", booktitle = popl, - month = jan, year = "2008", pages = "247--260", URL = "http://xisa.cs.colorado.edu/papers/popl08-relational.pdf", @@ -2584,7 +2466,6 @@ Verification", school = "Université Paris 7", year = "2010", - month = dec, URL = "http://www.chargueraud.org/arthur/research/2010/thesis/", } @@ -2593,7 +2474,6 @@ title = "Program Verification Through Characteristic Formulae", booktitle = icfp, year = "2010", - month = sep, URL = "http://arthur.chargueraud.org/research/2010/cfml/", } @@ -2612,7 +2492,6 @@ author = "Arthur Charguéraud and François Pottier", title = "Functional Translation of a Calculus of Capabilities", booktitle = icfp, - month = sep, year = "2008", pages = "213--224", URL = "http://gallium.inria.fr/~fpottier/publis/chargueraud-pottier-capabilities.pdf", @@ -2633,7 +2512,6 @@ title = "Rolling your own mutable {ADT}---a connection between linear types and monads", booktitle = popl, - month = jan, year = "1997", pages = "54--66", URL = "http://www.cs.yale.edu/homes/hudak-paul/hudak-dir/popl97.ps", @@ -2648,7 +2526,6 @@ series = lncs, volume = "3057", year = "2004", - month = jun, URL = "http://www.cs.bu.edu/~hwxi/academic/papers/OBJwMI/OBJwMI.pdf", } @@ -2657,7 +2534,6 @@ title = "A simple typed intermediate language for object-oriented languages", booktitle = popl, - month = jan, year = "2005", pages = "38--49", URL = "http://research.microsoft.com/pubs/59934/lilc_popl05.pdf", @@ -2668,7 +2544,6 @@ title = "Combining Programming with Theorem Proving", booktitle = icfp, year = "2005", - month = sep, pages = "66--77", URL = "http://www.cs.bu.edu/~hwxi/academic/papers/icfp05.pdf", } @@ -2678,7 +2553,6 @@ title = "Meta-Programming through Typeful Code Representation", booktitle = icfp, year = "2003", - month = aug, pages = "275--286", URL = "http://www.cs.bu.edu/~hwxi/academic/papers/icfp03.pdf", } @@ -2688,7 +2562,6 @@ title = "Implementing Typeful Program Transformations", booktitle = pepm, year = "2003", - month = jun, pages = "20--28", URL = "http://www.cs.bu.edu/~hwxi/academic/papers/pepm03.pdf", } @@ -2697,7 +2570,6 @@ author = "James Cheney", title = "Scrap your nameplate", booktitle = icfp, - month = sep, year = "2005", URL = "http://homepages.inf.ed.ac.uk/jcheney/publications/cheney05icfp.pdf", } @@ -2729,7 +2601,6 @@ year = "2004", volume = "3132", series = lncs, - month = sep, publisher = springer, URL = "http://www.cs.cornell.edu/people/jcheney/papers/alpnba.pdf", } @@ -2740,7 +2611,6 @@ journal = hosc, volume = "14", number = "2--3", - month = sep, year = "2001", pages = "261--300", publisher = kluwer, @@ -2754,7 +2624,6 @@ booktitle = icfp, pages = "193--204", year = "2001", - month = sep, URL = "http://www-users.cs.york.ac.uk/~olaf/PUBLICATIONS/explainTypes.ps.gz", } @@ -2763,7 +2632,6 @@ title = "A certified type-preserving compiler from lambda calculus to assembly language", booktitle = pldi, - month = jun, year = "2007", pages = "54--65", URL = "http://www.cs.berkeley.edu/~adamc/papers/CtpcPLDI07/CtpcPLDI07.pdf", @@ -2774,7 +2642,6 @@ title = "Parametric higher-order abstract syntax for mechanized semantics", booktitle = icfp, - month = sep, year = "2008", pages = "143--156", URL = "http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf", @@ -2785,7 +2652,6 @@ title = "Certified Programming and Dependent Types", publisher = mitp, year = "2013", - month = nov, URL = "http://adam.chlipala.net/cpdt/", } @@ -2795,7 +2661,6 @@ title = "Effective interactive proofs for higher-order imperative programs", booktitle = icfp, - month = sep, year = "2009", pages = "79--90", URL = "http://ynot.cs.harvard.edu/papers/icfp09.pdf", @@ -2807,7 +2672,6 @@ Diagnosis of Type Inference", school = "Indiana University", year = "2002", - month = aug, URL = "http://www.cs.indiana.edu/cgi-bin/techreports/TRNNN.cgi?trnum=TR566", } @@ -2819,7 +2683,6 @@ volume = "26", number = "1", year = "1979", - month = jan, pages = "129--147", URL = "http://doi.acm.org/10.1145/322108.322121", } @@ -2829,7 +2692,6 @@ title = "Ownership, encapsulation and the disjointness of type and effect", booktitle = oopsla, - month = nov, year = "2002", pages = "292--310", URL = "http://pubs.doc.ic.ac.uk/ownershipAndEffects/ownershipAndEffects.ps", @@ -2839,7 +2701,6 @@ author = "David G. Clarke and James Noble and John Potter", title = "Simple Ownership Types for Object Containment", booktitle = ecoop, - month = jun, year = "2001", pages = "53--76", publisher = springer, @@ -2852,7 +2713,6 @@ author = "David G. Clarke and John M. Potter and James Noble", title = "Ownership types for flexible alias protection", booktitle = oopsla, - month = oct, year = "1998", pages = "48--64", URL = "http://doi.acm.org/10.1145/286936.286947", @@ -2875,7 +2735,6 @@ author = "Dave Clarke and Tobias Wrigstad", title = "External Uniqueness Is Unique Enough", booktitle = ecoop, - month = jul, year = "2003", pages = "176--200", publisher = springer, @@ -2914,7 +2773,6 @@ year = "2003", volume = "2618", series = lncs, - month = apr, publisher = springer, URL = "http://www.ccs.neu.edu/scheme/pubs/esop2003-cf.ps.gz", } @@ -2925,7 +2783,6 @@ title = "Verified programs with binders", booktitle = plpv, pages = "29--40", - month = jan, year = "2014", URL = "https://hal.inria.fr/hal-00913431", } @@ -2941,7 +2798,6 @@ volume = "62", number = "1", pages = "25--46", - month = sep, URL = "http://www-rocq.inria.fr/~acohen/publications/CDGHKP06.ps.gz", } @@ -2966,7 +2822,6 @@ booktitle = lics, pages = "137--146", year = "1999", - month = jul, } @TechReport{collins-shao-02, @@ -2986,7 +2841,6 @@ booktitle = "International Conference on Fifth Generation Computer Systems (FGCS)", pages = "85--99", - month = nov, year = "1984", } @@ -3000,7 +2854,6 @@ volume = "21", number = "4", pages = "827--859", - month = aug, URL = "https://who.rocq.inria.fr/Frederic.Blanqui/papers/mscs11.pdf", } @@ -3039,7 +2892,6 @@ title = "\textsc{Sat-Micro}: petit mais costaud!", booktitle = jfla, year = "2008", - month = jan, URL = "http://www.lri.fr/~conchon/publis/conchon-jfla08.ps", } @@ -3050,7 +2902,6 @@ Applications and International Symposium on Mobile Agents (ASA/MA)", year = "1999", - month = oct, pages = "22--29", URL = "http://para.inria.fr/~conchon/publis/conchon-lefessant-asama99.ps.gz", } @@ -3064,7 +2915,6 @@ series = lncs, volume = "2028", pages = "221--236", - month = apr, year = "2001", URL = "http://gallium.inria.fr/~fpottier/publis/conchon-fpottier-esop01.ps.gz", } @@ -3075,7 +2925,6 @@ institution = "Boston University", year = "2000", number = "2000-006", - month = jan, URL = "http://www.cs.bu.edu/techreports/pdf/2000-006-hashconsing-recursive-types.pdf", } @@ -3083,7 +2932,6 @@ author = "William R. Cook", title = "On understanding data abstraction, revisited", booktitle = oopsla, - month = oct, year = "2009", pages = "557--572", URL = "http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf", @@ -3093,7 +2941,6 @@ author = "Stephen A. Cook", title = "The Complexity of Theorem-Proving Procedures", booktitle = stoc, - month = may, year = "1971", pages = "151--158", URL = "http://doi.acm.org/10.1145/800157.805047", @@ -3106,7 +2953,6 @@ institution = "Rice University", year = "2004", number = "TR04-432", - month = mar, URL = "http://www.cs.rice.edu/~harv/my_papers/worklist.pdf", } @@ -3133,7 +2979,6 @@ title = "An analysis of {Girard}'s paradox", booktitle = lics, pages = "227--236", - month = jun, year = "1986", URL = "http://hal.inria.fr/docs/00/07/60/23/PDF/RR-0531.pdf", } @@ -3165,7 +3010,6 @@ pages = "95--169", journal = tcs, year = "1983", - month = mar, volume = "25", number = "2", } @@ -3190,7 +3034,6 @@ approximation of fixpoints", pages = "238--252", booktitle = popl, - month = jan, year = "1977", URL = "http://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf", } @@ -3237,7 +3080,6 @@ booktitle = popl, pages = "233--244", year = "1991", - month = jan, URL = "http://www.ccs.neu.edu/scheme/pubs/popl91-cf.ps.gz", } @@ -3258,7 +3100,6 @@ booktitle = popl, pages = "262--275", year = "1999", - month = jan, URL = "http://www.cs.cornell.edu/talc/papers/capabilities.pdf", } @@ -3266,7 +3107,6 @@ author = "Karl Crary and Stephanie Weirich and Greg Morrisett", title = "Intensional Polymorphism in Type Erasure Semantics", journal = jfp, - month = nov, year = "2002", volume = "12", number = "6", @@ -3280,7 +3120,6 @@ booktitle = icfp, pages = "301--313", year = "1998", - month = sep, URL = "http://www.cis.upenn.edu/~sweirich/papers/typepass/typepass.ps", } @@ -3290,7 +3129,6 @@ Languages", school = "Cornell University", year = "1998", - month = aug, URL = "http://www.cs.cmu.edu/~crary/papers/1998/thesis/thesis.ps.gz", } @@ -3298,7 +3136,6 @@ author = "Karl Crary and Stephanie Weirich", title = "Resource bound certification", booktitle = popl, - month = jan, year = "2000", pages = "184--198", URL = "http://www.cs.cornell.edu/talc/papers/resource_bound/res.pdf", @@ -3319,7 +3156,6 @@ systems", school = "Université Paris Diderot", year = "2014", - month = jan, URL = "http://tel.archives-ouvertes.fr/tel-00940511", } @@ -3327,7 +3163,6 @@ author = "Julien Cretin and Didier R{\'e}my", title = "On the power of coercion abstraction", booktitle = popl, - month = jan, year = "2012", pages = "361--372", URL = "http://gallium.inria.fr/~remy/coercions/Cretin-Remy:coercions@popl2012.pdf", @@ -3339,7 +3174,6 @@ Analysis", school = "Cornell University", year = "1990", - month = feb, URL = "http://www.parc.xerox.com/company/history/publications/bw-ps-gz/csl90-1.ps.gz", } @@ -3350,7 +3184,6 @@ booktitle = pldi, pages = "282--293", year = "2002", - month = jun, URL = "http://www.cs.cornell.edu/projects/cyclone/papers/cyclone-regions.pdf", } @@ -3363,7 +3196,6 @@ year = "2010", volume = "6355", series = lncs, - month = apr, publisher = springer, URL = "http://research.microsoft.com/en-us/um/people/leino/papers/krml203.pdf", } @@ -3402,7 +3234,6 @@ Jansson and Jeremy Gibbons", title = "Fast and loose reasoning is morally correct", booktitle = popl, - month = jan, year = "2006", pages = "206--217", URL = "http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/fast+loose.pdf", @@ -3414,7 +3245,6 @@ Purely Functional Data Structures", booktitle = popl, year = "2008", - month = jan, URL = "http://www.cs.chalmers.se/~nad/publications/danielsson-popl2008.pdf", } @@ -3422,7 +3252,6 @@ author = "Nils Anders Danielsson and Thorsten Altenkirch", title = "Subtyping, Declaratively", booktitle = mpc, - month = jun, year = "2010", pages = "100--118", publisher = springer, @@ -3437,14 +3266,12 @@ institution = "BRICS", year = "1998", number = "RS-98-12", - month = may, URL = "http://www.brics.dk/RS/98/12/", } @TechReport{danvy-nielsen-01, author = "Olivier Danvy and Lasse R. Nielsen", title = "Defunctionalization at Work", - month = jun, year = "2001", institution = "BRICS", number = "RS-01-23", @@ -3457,7 +3284,6 @@ pages = "162--174", booktitle = ppdp, year = "2001", - month = sep, URL = "http://doi.acm.org/10.1145/773184.773202", } @@ -3469,7 +3295,6 @@ volume = "8", number = "6", pages = "621--625", - month = nov, URL = "http://dx.doi.org/10.1017/S0956796898003104", } @@ -3479,7 +3304,6 @@ théorie des arbres finis ou infinis", school = "Université de la Méditerranée", year = "2000", - month = dec, URL = "http://www.univ-orleans.fr/SCIENCES/LIFO/Members/dao/papers/ts4dec.ps.gz", } @@ -3490,7 +3314,6 @@ University", year = "2005", number = "CMU-CS-05-110", - month = may, URL = "http://reports-archive.adm.cs.cmu.edu/anon/2005/CMU-CS-05-110.pdf", } @@ -3498,7 +3321,6 @@ author = "Rowan Davies and Frank Pfenning", title = "Intersection types and computational effects", booktitle = icfp, - month = sep, year = "2000", pages = "198--208", URL = "http://www.cs.cmu.edu/~fp/papers/icfp00.pdf", @@ -3543,7 +3365,6 @@ Schrijvers and Bruno C. d. S. Oliveira", title = "Modular monadic meta-theory", booktitle = icfp, - month = sep, year = "2013", pages = "319--330", URL = "http://ropas.snu.ac.kr/~bruno/papers/3MT.pdf", @@ -3554,7 +3375,6 @@ Schrijvers", title = "Meta-theory à La Carte", booktitle = popl, - month = jan, year = "2013", pages = "207--218", URL = "http://people.csail.mit.edu/bendy/MTC/MTC.pdf", @@ -3566,7 +3386,6 @@ booktitle = pldi, pages = "59--69", year = "2001", - month = jun, URL = "http://research.microsoft.com/apps/pubs/default.aspx?id=67457", } @@ -3578,7 +3397,6 @@ year = "2004", volume = "3086", series = lncs, - month = jun, publisher = springer, URL = "http://research.microsoft.com/apps/pubs/default.aspx?id=67463", } @@ -3590,7 +3408,6 @@ institution = "Microsoft Research", year = "2004", number = "MSR-TR-2004-07", - month = jan, URL = "http://research.microsoft.com/apps/pubs/default.aspx?id=67458", } @@ -3603,7 +3420,6 @@ year = "2008", volume = "4960", series = lncs, - month = mar, publisher = springer, URL = "http://cs-www.cs.yale.edu/homes/delphin/files/delphinESOP08.pdf", } @@ -3638,7 +3454,6 @@ volume = "20", number = "7", pages = "504--513", - month = jul, year = "1977", } @@ -3654,7 +3469,6 @@ title = "Modular Verification of Code with {SAT}", booktitle = issta, year = "2006", - month = jul, URL = "http://sdg.csail.mit.edu/pubs/2006/dennis_modular.pdf", } @@ -3688,7 +3502,6 @@ year = "1998", type = "Research Report", number = "159", - month = dec, URL = "ftp://gatekeeper.research.compaq.com/pub/DEC/SRC/research-reports/SRC-159.pdf", } @@ -3700,7 +3513,6 @@ year = "1998", type = "Research Report", number = "156", - month = jul, URL = "http://www.hpl.hp.com/techreports/Compaq-DEC/SRC-RR-156.pdf", } @@ -3777,7 +3589,6 @@ Data Representations", school = "Harvard University", year = "2002", - month = jan, URL = "http://www.cs.uml.edu/~dimock/thesis.ps.gz", } @@ -3788,7 +3599,6 @@ function representations for {Standard ML}", booktitle = icfp, year = "2001", - month = sep, URL = "http://puma.wellesley.edu/~fturbak/pubs/icfp01.ps", } @@ -3798,7 +3608,6 @@ title = "Views: compositional reasoning for concurrent programs", booktitle = popl, - month = jan, year = "2013", pages = "287--300", URL = "http://cs.au.dk/~birke/papers/views.pdf", @@ -3822,7 +3631,6 @@ Gardner and Matthew Parkinson and Viktor Vafeiadis", title = "Concurrent Abstract Predicates", institution = "University of Cambridge, Computer Laboratory", - month = apr, year = "2010", URL = "http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-777.pdf", } @@ -3831,7 +3639,6 @@ author = "Dino Distefano and Matthew J. Parkinson", title = "{jStar}: towards practical verification for {Java}", booktitle = oopsla, - month = oct, year = "2008", pages = "213--226", URL = "http://www.cl.cam.ac.uk/~mjp41/frp39distefano.pdf", @@ -3842,7 +3649,6 @@ title = "A Fresh Look at Separation Algebras and Share Accounting", booktitle = aplas, - month = dec, year = "2009", pages = "161--177", publisher = springer, @@ -3856,7 +3662,6 @@ Parkinson", title = "Modular reasoning for deterministic parallelism", booktitle = popl, - month = jan, year = "2011", pages = "259--270", URL = "http://www.cl.cam.ac.uk/~md466/publications/POPL.11.deterministic_parallelism.pdf", @@ -3867,7 +3672,6 @@ Viktor Vafeiadis", title = "Deny-Guarantee Reasoning", booktitle = esop, - month = mar, year = "2009", pages = "363--377", publisher = springer, @@ -3916,7 +3720,6 @@ institution = "INRIA", number = "2709", year = "1995", - month = nov, pages = "42", type = "Research Report", URL = "http://www.inria.fr/rrrt/rr-2709.html", @@ -3930,7 +3733,6 @@ institution = "INRIA", number = "3591", year = "1998", - month = dec, pages = "33", type = "Research Report", URL = "http://www.inria.fr/rrrt/rr-3591.html", @@ -3956,7 +3758,6 @@ volume = "27", number = "4", pages = "758--771", - month = oct, URL = "http://doi.acm.org/10.1145/322217.322228", } @@ -3967,7 +3768,6 @@ booktitle = icfp, pages = "143--156", year = "2010", - month = sep, URL = "http://www.itu.dk/~birkedal/papers/stslr-conf.pdf", } @@ -3976,7 +3776,6 @@ title = "Typage de {ML}: Spécification et preuve en {Coq}", booktitle = "Actes du GDR Programmation", year = "1997", - month = nov, URL = "http://www.irisa.fr/lande/ridoux/GDR_annexe/dubois.ps.gz", } @@ -3989,7 +3788,6 @@ volume = "23", number = "3--4", pages = "319--346", - month = nov, URL = "http://www.ensiie.fr/~dubois/jar_final.pdf", } @@ -4000,7 +3798,6 @@ year = "1996", volume = "27", number = "1", - month = jun, } @InProceedings{dussart-henglein-mossin-95, @@ -4013,7 +3810,6 @@ series = lncs, volume = "983", pages = "118--135", - month = sep, URL = "ftp://ftp.diku.dk/diku/semantics/papers/D-243.dvi.gz", } @@ -4058,7 +3854,6 @@ higher-order encodings", institution = "Yale University", number = "YALEU/DCS/TR-1272", - month = nov, year = "2004", URL = "http://www.cs.yale.edu/~delphin/files/nablaTR.pdf", } @@ -4073,7 +3868,6 @@ year = "2005", volume = "3461", series = lncs, - month = apr, publisher = springer, URL = "http://www.itu.dk/~carsten/papers/nabla.pdf", } @@ -4083,7 +3877,6 @@ title = "Efficient Model Checking in Fragments of the Propositional Mu-Calculus", booktitle = lics, - month = jun, year = "1986", pages = "267--278", } @@ -4112,7 +3905,6 @@ McKinna", title = "Why Dependent Types Matter", note = "Unpublished", - month = apr, year = "2005", URL = "http://www.e-pig.org/downloads/ydtm.pdf", } @@ -4130,7 +3922,6 @@ title = "{IRM} Enforcement of {Java} Stack Inspection", booktitle = sp, year = "2000", - month = may, pages = "246--255", URL = "http://csdl.computer.org/comp/proceedings/sp/2000/0665/00/06650246abs.htm", } @@ -4142,7 +3933,6 @@ booktitle = nspw, pages = "87--95", year = "1999", - month = sep, URL = "http://www.cs.cornell.edu/fbs/publications/sasiNSPW.ps", } @@ -4161,7 +3951,6 @@ Instantiation Constraints", booktitle = pldi, year = "2000", - month = jun, URL = "http://research.microsoft.com/pubs/67468/pldi00.ps", } @@ -4171,7 +3960,6 @@ title = "Partial Online Cycle Elimination in Inclusion Constraint Graphs", booktitle = pldi, - month = jun, year = "1998", pages = "85--96", URL = "http://research.microsoft.com/pubs/67475/pldi98.pdf", @@ -4182,7 +3970,6 @@ title = "Adoption and focus: practical linear types for imperative programming", booktitle = pldi, - month = jun, year = "2002", pages = "13--24", URL = "http://research.microsoft.com/pubs/67459/pldi02.pdf", @@ -4194,7 +3981,6 @@ booktitle = "International Workshop on Alias Confinement and Ownership (IWACO)", year = "2003", - month = jul, URL = "http://research.microsoft.com/en-us/um/people/leino/papers/krml123.pdf", } @@ -4224,7 +4010,6 @@ title = "A Static Semantics for {Haskell}", pages = "295--357", year = "2002", - month = jul, journal = jfp, volume = "12", number = "4--5", @@ -4257,7 +4042,6 @@ title = "Modular and Polymorphic Set-Based Analysis: Theory and Practice", year = "1996", - month = nov, pages = "48", author = "Cormac Flanagan and Matthias Felleisen", URL = "http://www.cs.rice.edu/CS/PLT/Publications/Scheme/tr96-266.ps.gz", @@ -4277,7 +4061,6 @@ volume = "17", number = "2", pages = "143--147", - month = may, year = "1974", } @@ -4305,7 +4088,6 @@ title = "Representing Layered Monads", booktitle = popl, year = "1999", - month = jan, pages = "175--188", URL = "http://www.diku.dk/~andrzej/papers/RLM.ps.gz", } @@ -4318,7 +4100,6 @@ volume = "13", number = "4", pages = "709--745", - month = jul, year = "2003", URL = "http://www.lri.fr/~filliatr/ftp/publis/jphd.ps.gz", } @@ -4327,7 +4108,6 @@ author = "Jean-Christophe Filli\^atre", title = "Backtracking iterators", booktitle = ml, - month = sep, year = "2006", pages = "55--62", URL = "http://www.lri.fr/~filliatr/publis/enum2.ps.gz", @@ -4351,7 +4131,6 @@ year = "2004", volume = "2986", series = lncs, - month = mar, publisher = springer, URL = "http://www.lri.fr/~filliatr/ftp/publis/fpp.ps.gz", } @@ -4361,7 +4140,6 @@ title = "Multi-Prover Verification of {C} Programs", booktitle = icfem, year = "2004", - month = nov, publisher = springer, series = lncs, volume = "3308", @@ -4373,7 +4151,6 @@ author = "Robert Bruce Findler and Matthias Felleisen", title = "Contracts for higher-order functions", booktitle = icfp, - month = oct, year = "2002", pages = "48--59", URL = "http://people.cs.uchicago.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf", @@ -4386,7 +4163,6 @@ year = "2003", volume = "13", number = "3", - month = may, pages = "509--543", URL = "http://dx.doi.org/10.1017/S0956796802004604", } @@ -4407,7 +4183,6 @@ author = "Cormac Flanagan and Mart\'{\i}n Abadi", title = "Types for Safe Locking", booktitle = esop, - month = mar, year = "1999", pages = "91--108", publisher = springer, @@ -4441,7 +4216,6 @@ title = "Effective Static Debugging via Componential Set-Based Analysis", year = "1997", - month = may, pages = "164", author = "Cormac Flanagan", URL = "http://www.cs.rice.edu/CS/PLT/Publications/Scheme/thesis-flanagan.ps.gz", @@ -4485,7 +4259,6 @@ booktitle = tcsconf, pages = "448--460", year = "2002", - month = aug, URL = "http://arXiv.org/abs/cs.PL/0403034", } @@ -4497,7 +4270,6 @@ year = "2006", volume = "3924", series = lncs, - month = mar, publisher = springer, URL = "http://ttic.uchicago.edu/~fluet/research/substruct-regions/ESOP06/esop06.pdf", } @@ -4508,7 +4280,6 @@ Region-Based Memory Management", school = "Cornell University", year = "2007", - month = jan, URL = "http://ttic.uchicago.edu/~fluet/research/thesis/fluet-thesis.single.pdf", } @@ -4520,7 +4291,6 @@ year = "2002", volume = "223", series = "IFIP Conference Proceedings", - month = aug, publisher = kluwer, URL = "http://www.cs.cornell.edu/people/fluet/phantom-subtyping/TCS02/tcs02.ps", } @@ -4532,7 +4302,6 @@ booktitle = ml, year = "2005", series = entcs, - month = sep, URL = "http://www.cs.cornell.edu/people/fluet/specializations/MLWRK05/mlwrk05.pdf", } @@ -4552,7 +4321,6 @@ author = "Bryan Ford", title = "Packrat parsing: simple, powerful, lazy, linear time", booktitle = icfp, - month = oct, year = "2002", pages = "36--47", URL = "http://www.brynosaurus.com/pub/lang/packrat-icfp02.pdf", @@ -4563,7 +4331,6 @@ title = "Parsing expression grammars: a recognition-based syntactic foundation", booktitle = popl, - month = jan, year = "2004", pages = "111--122", URL = "http://pdos.csail.mit.edu/~baford/packrat/popl04/peg-popl04.pdf", @@ -4574,7 +4341,6 @@ institution = "University of California, Berkeley", title = "Checking Programmer-Specified Non-Aliasing", year = "2001", - month = oct, number = "UCB//CSD-01-1160", URL = "http://www.cs.umd.edu/~jfoster/papers/tr01-restrict.pdf", } @@ -4583,7 +4349,6 @@ author = "Jeffrey S. Foster and Tachio Terauchi and Alex Aiken", title = "Flow-Sensitive Type Qualifiers", booktitle = pldi, - month = jun, year = "2002", pages = "1--12", URL = "http://www.cs.umd.edu/~jfoster/papers/pldi02.pdf", @@ -4629,7 +4394,6 @@ title = "Stack Inspection: Theory and Variants", booktitle = popl, pages = "307--318", - month = jan, year = "2002", URL = "http://research.microsoft.com/~fournet/papers/stack-inspection-theory-and-variants-popl-02.ps", } @@ -4642,7 +4406,6 @@ volume = "25", number = "3", pages = "360--399", - month = may, URL = "http://doi.acm.org/10.1145/641909.641912", } @@ -4681,7 +4444,6 @@ @TechReport{fresh-ocaml, author = "Mark R. Shinwell and Andrew M. Pitts", - month = feb, year = "2005", title = "{Fresh Objective Caml} user manual", institution = "University of Cambridge", @@ -4695,7 +4457,6 @@ avec objets, sous-typage et multi-méthodes", school = "École des Mines de Paris", year = "2004", - month = jun, URL = "http://pastel.rilk.com/archive/00000792/01/these-afrey.pdf", alturl = "http://these.afrey.free.fr/download/these-afrey.pdf", } @@ -4707,7 +4468,6 @@ series = lncs, number = "1302", year = "1997", - month = sep, pages = "265--277", publisher = springer, URL = "http://citeseer.ist.psu.edu/frey97satisfying.html", @@ -4719,7 +4479,6 @@ Benzaken", title = "Semantic Subtyping", booktitle = lics, - month = jul, year = "2002", pages = "137--146", URL = "http://www.cduce.org/papers/lics02.ps.gz", @@ -4743,7 +4502,6 @@ title = "Secure distributed programming with value-dependent types", booktitle = icfp, - month = sep, year = "2011", pages = "266--278", URL = "http://research.microsoft.com/pubs/150012/icfp-camera-ready.pdf", @@ -4767,7 +4525,6 @@ Theory-Practice Gap", pages = "167--183", booktitle = tapsoft, - month = mar, series = lncs, volume = "352", publisher = springer, @@ -4783,7 +4540,6 @@ series = lncs, volume = "2895", year = "2003", - month = nov, URL = "http://gallium.inria.fr/~furuse/publications/flowgraph.ps.gz", } @@ -4799,7 +4555,6 @@ @Unpublished{gabbay-04, author = "Murdoch J. Gabbay", title = "A General Mathematics of Names in Syntax", - month = mar, year = "2004", note = "Submitted for publication", URL = "http://www.macs.hw.ac.uk/~gabbay/papers/genmns.pdf", @@ -4814,7 +4569,6 @@ volume = "13", number = "3--5", pages = "341--363", - month = jul, URL = "http://www.cl.cam.ac.uk/~amp12/papers/newaas/newaas-jv.pdf", alturl = "http://www.springerlink.com/link.asp?id=epn028x83rqw00qv", } @@ -4827,7 +4581,6 @@ volume = "12", number = "6", pages = "511--548", - month = nov, year = "2002", URL = "http://dx.doi.org/10.1017/S0956796802004318", } @@ -4845,7 +4598,6 @@ title = "Code reuse through polymorphic variants", booktitle = fse, year = "2000", - month = nov, URL = "http://www.math.nagoya-u.ac.jp/~garrigue/papers/variant-reuse.ps.gz", } @@ -4854,7 +4606,6 @@ title = "Simple Type Inference for Structural Polymorphism", booktitle = fool, year = "2002", - month = jan, URL = "http://www.math.nagoya-u.ac.jp/~garrigue/papers/structural-inf.ps.gz", } @@ -4863,7 +4614,6 @@ title = "Programming with polymorphic variants", booktitle = ml, year = "1998", - month = sep, URL = "http://www.math.nagoya-u.ac.jp/~garrigue/papers/variants.ps.gz", } @@ -4875,7 +4625,6 @@ year = "1995", type = "RIMS Preprint", number = "1041", - month = oct, URL = "http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/papers/rims-1041.pdf", } @@ -4887,7 +4636,6 @@ year = "2004", volume = "2998", series = lncs, - month = apr, publisher = springer, URL = "http://www.math.nagoya-u.ac.jp/~garrigue/papers/morepoly-long.pdf", } @@ -4909,7 +4657,6 @@ title = "Ambivalent types for principal type inference with {GADT}s", booktitle = aplas, - month = dec, year = "2013", URL = "http://gallium.inria.fr/~remy/gadts/Garrigue-Remy:gadts@aplas2013.pdf", } @@ -4918,7 +4665,6 @@ author = "Benedict R. Gaster", title = "Records, variants and qualified types", school = "University of Nottingham", - month = jul, year = "1998", URL = "http://www.cs.nott.ac.uk/Research/fop/gaster-thesis.ps", } @@ -4931,7 +4677,6 @@ Nottingham", year = "1996", number = "NOTTCS-TR-96-3", - month = nov, URL = "http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html", } @@ -4941,7 +4686,6 @@ Second-Order Recursive Types", booktitle = icfp, URL = "http://gallium.inria.fr/~fpottier/publis/gauthier-fpottier-icfp04.pdf", - month = sep, year = "2004", pages = "150--161", } @@ -4953,7 +4697,6 @@ title = "Modular session types for distributed object-oriented programming", booktitle = popl, - month = jan, year = "2010", pages = "299--312", URL = "http://www.dcs.gla.ac.uk/~simon/publications/ModularSessionTypes.pdf", @@ -4986,7 +4729,6 @@ @Manual{ghc, author = "The GHC team", title = "The {Glasgow Haskell} compiler", - month = mar, year = "2005", URL = "http://www.haskell.org/ghc/", } @@ -4996,7 +4738,6 @@ author = "Giorgio Ghelli", journal = tcs, pages = "131--162", - month = mar, year = "1995", volume = "139", number = "1--2", @@ -5008,7 +4749,6 @@ Qin and Wei-Ngan Chin", title = "Structured Specifications for Better Verification of Heap-Manipulating Programs", - month = jun, year = "2011", pages = "386--401", booktitle = fm, @@ -5025,7 +4765,6 @@ institution = "Massachusetts Institute of Technology", year = "1987", number = "MIT/LCS/TR-407", - month = jan, } @TechReport{gifford-fx-91, @@ -5035,7 +4774,6 @@ institution = "Massachusetts Institute of Technology", year = "1992", number = "MIT/LCS/TR-531", - month = feb, URL = "http://www.psrg.lcs.mit.edu/history/publications.html#fxps", } @@ -5045,7 +4783,6 @@ coupures de l'arith\-mé\-ti\-que d'ordre supérieur", school = "Universit{\'e} Paris 7", type = "Th\`ese d'\'Etat", - month = jun, year = "1972", } @@ -5066,7 +4803,6 @@ booktitle = oopsla, pages = "311--324", year = "2000", - month = oct, URL = "http://glew.org/nglew/papers/oce-oopsla.ps.gz", } @@ -5078,7 +4814,6 @@ year = "2002", volume = "2305", series = lncs, - month = apr, publisher = springer, URL = "http://glew.org/nglew/papers/tsot-esop.pdf", } @@ -5091,7 +4826,6 @@ series = entcs, volume = "26", pages = "52--68", - month = sep, URL = "http://glew.org/nglew/papers/occ-hoots.ps.gz", } @@ -5112,7 +4846,6 @@ author = "Joseph Goguen and José Meseguer", title = "Security policies and security models", booktitle = sp, - month = apr, year = "1982", pages = "11--20", } @@ -5125,7 +4858,6 @@ 1.2}", booktitle = "{USENIX} Symposium on Internet Technologies and Systems", - month = dec, year = "1997", pages = "103--112", URL = "http://secinf.net/uplarticle/10/jdk12arch.ps", @@ -5137,7 +4869,6 @@ Development Kit 1.2", booktitle = ndss, year = "1998", - month = mar, URL = "http://www.isoc.org/isoc/conferences/ndss/98/gong.pdf", } @@ -5147,7 +4878,6 @@ title = "Uniqueness and reference immutability for safe parallelism", booktitle = oopsla, - month = oct, year = "2012", pages = "21--40", URL = "http://homes.cs.washington.edu/~csgordon/papers/oopsla12.pdf", @@ -5161,7 +4891,6 @@ year = "1996", volume = "1125", series = lncs, - month = aug, publisher = springer, URL = "http://www.ftp.cl.cam.ac.uk/ftp/papers/adg/hug96.ps.gz", } @@ -5182,7 +4911,6 @@ institution = "Microsoft Research", year = "2007", number = "MSR-TR-2007-39", - month = sep, URL = "http://research.microsoft.com/pubs/70427/tr-2007-39.pdf", } @@ -5202,7 +4930,6 @@ volume = "28", number = "3", pages = "429--475", - month = may, URL = "http://www.cs.washington.edu/homes/djg/papers/qtil.pdf", } @@ -5229,7 +4956,6 @@ Protzenko", title = "The ins and outs of iteration in {Mezzo}", note = "\url{http://goo.gl/NrgKc4}", - month = sep, year = "2013", howpublished = "Higher-Order Programming and Effects (HOPE)", } @@ -5240,7 +4966,6 @@ booktitle = hw, pages = "83--92", year = "2007", - month = sep, URL = "http://www.iro.umontreal.ca/~monnier/tcm.pdf", } @@ -5248,7 +4973,6 @@ author = "Louis-Julien Guillemette and Stefan Monnier", title = "A Type-Preserving Compiler in {Haskell}", booktitle = icfp, - month = sep, year = "2008", pages = "75--86", URL = "http://www-etud.iro.umontreal.ca/~guillelj/icfp08.pdf", @@ -5268,7 +4992,6 @@ booktitle = msfp, pages = "43--54", year = "2010", - month = sep, URL = "https://personal.cis.strath.ac.uk/adam.gundry/type-inference/type-inference-final.pdf", } @@ -5287,7 +5010,6 @@ year = "2001", volume = "2053", series = lncs, - month = may, publisher = springer, URL = "http://www.cse.chalmers.se/~josefs/publications/ca.pdf", } @@ -5299,7 +5021,6 @@ series = "INRIA Research Reports", publisher = "INRIA", number = "2265", - month = jun, year = "1994", pages = "127--135", } @@ -5325,7 +5046,6 @@ year = "1994", volume = "788", series = lncs, - month = apr, publisher = springer, URL = "http://research.microsoft.com/Users/simonpj/Papers/classhask.ps.gz", } @@ -5339,7 +5059,6 @@ volume = "18", number = "2", pages = "109--138", - month = mar, URL = "http://doi.acm.org/10.1145/227699.227700", } @@ -5347,7 +5066,6 @@ author = "Philipp Haller and Martin Odersky", title = "Capabilities for Uniqueness and Borrowing", booktitle = ecoop, - month = jun, year = "2010", pages = "354--378", publisher = springer, @@ -5361,7 +5079,6 @@ title = "Programming Examples Needing Polymorphic Recursion", institution = "Department of Computer Science, Boston University", year = "2004", - month = jan, number = "BUCS-TR-2004-004", URL = "http://www.church-project.org/reports/electronic/Hal+Kfo:BUCS-TR-2004-004.pdf", } @@ -5391,7 +5108,6 @@ author = "Simon Marlow and Andy Gill", title = "Happy: the parser generator for {Haskell}", year = "2004", - month = apr, URL = "http://www.haskell.org/happy/", } @@ -5404,7 +5120,6 @@ volume = "22", number = "4", pages = "36--38", - month = oct, URL = "http://www.cis.upenn.edu/~KeyKOS/ConfusedDeputy.html", } @@ -5445,7 +5160,6 @@ author = "Bob Harper and Mark Lillibridge", title = "{ML} with callcc is unsound", howpublished = "Message to the {TYPES} mailing list", - month = jul, year = "1991", URL = "http://www.cis.upenn.edu/~bcpierce/types/archives/1991/msg00034.html", } @@ -5455,7 +5169,6 @@ title = "A Record Calculus Based on symmetric Concatenation", pages = "131--142", booktitle = popl, - month = jan, year = "1991", URL = "http://www.cis.upenn.edu/~bcpierce/papers/merge.ps", } @@ -5485,7 +5198,6 @@ Report", publisher = cup, year = "2003", - month = apr, URL = "http://www.haskell.org/onlinereport/", } @@ -5495,7 +5207,6 @@ title = "A History of {Haskell}: being lazy with class", booktitle = hopl, year = "2007", - month = jun, URL = "http://research.microsoft.com/~simonpj/papers/history-of-haskell/history.pdf", } @@ -5505,7 +5216,6 @@ institution = "Microsoft Research", year = "2005", number = "MSR-TR-2005-141", - month = oct, URL = "http://research.microsoft.com/pubs/70228/tr-2005-141.pdf", } @@ -5524,7 +5234,6 @@ languages", author = "Bastiaan Heeren and Johan Jeuring and Doaitse Swierstra and Pablo Azero Alcocer", - month = feb, year = "2002", institution = "University of Utrecht, Institute of Information and Computing Science", @@ -5537,7 +5246,6 @@ Algorithms", author = "Bastiaan Heeren and Jurriaan Hage and Doaitse Swierstra", - month = jul, year = "2002", institution = "University of Utrecht, Institute of Information and Computing Science", @@ -5548,7 +5256,6 @@ @TechReport{heeren2002parametric, title = "Parametric Type Inferencing for {Helium}", author = "Bastiaan Heeren and Jurriaan Hage", - month = aug, year = "2002", institution = "University of Utrecht, Institute of Information and Computing Science", @@ -5582,7 +5289,6 @@ Science", title = "Set Based Analysis of {ML} Programs", year = "1993", - month = jul, number = "CMU-CS-93-193", URL = "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-193.ps", } @@ -5601,7 +5307,6 @@ title = "The {SL}am Calculus: Programming with Secrecy and Integrity", booktitle = popl, - month = jan, year = "1998", pages = "365--377", URL = "http://cm.bell-labs.com/cm/cs/who/nch/slam.ps", @@ -5636,7 +5341,6 @@ Melbourne", year = "1992", number = "96/11", - month = nov, URL = "http://www.cs.mu.oz.au/~fjh/papers/hons_thesis.ps.gz", } @@ -5671,7 +5375,6 @@ journal = toplas, year = "1993", volume = "15", - month = apr, number = "2", pages = "253--289", URL = "http://doi.acm.org/10.1145/169701.169692", @@ -5712,7 +5415,6 @@ @PhdThesis{henglein-phd-89, author = "Fritz Henglein", - month = apr, school = "Rutgers University", title = "Polymorphic Type Inference and Semi-Unification", year = "1989", @@ -5725,7 +5427,6 @@ Types", pages = "352--361", booktitle = lics, - month = jun, year = "1997", URL = "http://research.microsoft.com/~rehof/lics97.ps", } @@ -5735,7 +5436,6 @@ title = "Constraint Automata and the Complexity of Recursive Subtype Entailment", booktitle = icalp, - month = jul, year = "1998", URL = "http://research.microsoft.com/~rehof/icalp98.ps", } @@ -5743,7 +5443,6 @@ @TechReport{hennessy-2000, author = "Matthew Hennessy", title = "The security picalculus and non-interference", - month = nov, year = "2000", institution = "University of Sussex", number = "2000:05", @@ -5757,7 +5456,6 @@ booktitle = icalp, series = lncs, publisher = springer, - month = jul, year = "2000", URL = "http://www.depaul.edu/~jriely/papers/00icalp.ps.gz", } @@ -5766,7 +5464,6 @@ author = "Mark Hepburn and David Wright", title = "Trust in the Pi-Calculus", booktitle = ppdp, - month = sep, year = "2001", } @@ -5802,7 +5499,6 @@ booktitle = icfp, pages = "227--237", year = "2003", - month = aug, URL = "http://doi.acm.org/10.1145/944726", } @@ -5824,7 +5520,6 @@ title = "Fun with Phantom Types", publisher = palgrave, year = "2003", - month = mar, pages = "245--262", URL = "http://www.informatik.uni-bonn.de/~ralf/publications/With.pdf", } @@ -5857,7 +5552,6 @@ year = "2004", volume = "2986", series = lncs, - month = apr, publisher = springer, URL = "http://gallium.inria.fr/~xleroy/publi/mixins-mm-esop2004.ps.gz", } @@ -5876,7 +5570,6 @@ title = "Lower Bounds on Type Inference with Subtypes", pages = "176--185", booktitle = popl, - month = jan, year = "1995", URL = "http://doi.acm.org/10.1145/199448.199481", } @@ -5887,7 +5580,6 @@ journal = cacm, volume = "4", number = "7", - month = jul, year = "1961", pages = "321--322", URL = "http://doi.acm.org/10.1145/366622.366647", @@ -5912,7 +5604,6 @@ volume = "14", number = "1", pages = "39--45", - month = jan, URL = "http://doi.acm.org/10.1145/362452.362489", } @@ -5932,7 +5623,6 @@ booktitle = esop, year = "2011", series = lncs, - month = mar, publisher = springer, URL = "http://www.comp.nus.edu.sg/~hobor/Publications/barrier.pdf", } @@ -5942,7 +5632,6 @@ title = "A Theory of Indirection via Approximation", booktitle = popl, year = "2010", - month = jan, URL = "http://www.comp.nus.edu.sg/~hobor/Publications/indirection.pdf", } @@ -5955,7 +5644,6 @@ year = "2008", volume = "4960", series = lncs, - month = apr, publisher = springer, URL = "http://www.cs.princeton.edu/~appel/papers/concurrent.pdf", } @@ -5977,7 +5665,6 @@ title = "Static prediction of heap space usage for first-order functional programs", booktitle = popl, - month = jan, year = "2003", pages = "185--197", URL = "http://www.cs.st-andrews.ac.uk/~jost/research/full_p17-hofmann.ps", @@ -6002,7 +5689,6 @@ volume = "5", number = "4", pages = "593--635", - month = oct, note = "Previous versions appeared in the Symposium on Theoretical Aspects of Computer Science, 1994, (pages 251--262) and, under the title ``An Abstract View of @@ -6031,7 +5717,6 @@ series = lncs, volume = "1782", pages = "180--199", - month = mar, year = "2000", URL = "ftp://ftp.dcs.qmw.ac.uk/lfp/kohei/siftp-esop00.ps.gz", } @@ -6041,7 +5726,6 @@ title = "Secure information flow as typed process behaviour", institution = "Queen Mary and Westfield College, University of London", - month = dec, year = "1999", number = "QMW-DCS-1999-767", URL = "ftp://ftp.dcs.qmw.ac.uk/lfp/kohei/siftp-qmwrep.ps.gz", @@ -6051,7 +5735,6 @@ author = "Kohei Honda and Nobuko Yoshida", title = "A Uniform Type Structure for Secure Information Flow", booktitle = popl, - month = jan, year = "2002", pages = "81--92", URL = "http://www.mcs.le.ac.uk/~nyoshida/paper/ifa_long.ps.gz", @@ -6062,7 +5745,6 @@ title = "A compositional logic for polymorphic higher-order functions", booktitle = ppdp, - month = aug, year = "2004", pages = "191--202", URL = "http://www.dcs.qmul.ac.uk/~kohei/logics/polyrec.pdf.gz", @@ -6110,7 +5792,6 @@ volume = "20", number = "6", pages = "515--535", - month = jun, URL = "http://www.cs.uvic.ca/~nigelh/Publications/fastparse.pdf", } @@ -6120,7 +5801,6 @@ booktitle = "ACM Symposium on the Foundations of Software Engineering (FSE)", year = "1995", - month = oct, URL = "http://www.cs.wisc.edu/wpis/papers/fse95a.ps", } @@ -6132,7 +5812,6 @@ volume = "24", number = "6", pages = "679--694", - month = nov, URL = "http://dx.doi.org/10.1007/BF00282621", } @@ -6142,7 +5821,6 @@ journal = jfp, volume = "13", number = "6", - month = nov, year = "2003", pages = "961--1004", URL = "http://dx.doi.org/10.1017/S0956796802004410", @@ -6157,7 +5835,6 @@ volume = "19", number = "8", pages = "461--471", - month = aug, URL = "http://doi.acm.org/10.1145/360303.360333", } @@ -6166,7 +5843,6 @@ title = "Separation Analysis for Deductive Verification", booktitle = hav, year = "2007", - month = mar, URL = "http://www.lri.fr/~marche/hubert07hav.pdf", } @@ -6175,7 +5851,6 @@ title = "{R}{\'e}solution d'{\'e}quations dans des langages d'ordre $1$, $2$, $\ldots$, $\omega$.", school = "Universit{\'e} Paris 7", - month = sep, year = "1976", } @@ -6227,7 +5902,6 @@ title = "Proving the correctness of reactive systems using sized types", booktitle = popl, - month = jan, year = "1996", pages = "410--423", URL = "http://doi.acm.org/10.1145/237721.240882", @@ -6240,7 +5914,6 @@ journal = ic, volume = "161", pages = "1--44", - month = aug, year = "2000", URL = "http://www.sato.kuis.kyoto-u.ac.jp/~igarashi/papers/psgz/linear-pi.IC.ps.gz", } @@ -6250,7 +5923,6 @@ title = "{BI} as an assertion language for mutable data structures", booktitle = popl, - month = jan, year = "2001", pages = "14--26", URL = "http://www.cs.ucl.ac.uk/staff/p.ohearn/papers/bi-assertion-lan.pdf", @@ -6273,7 +5945,6 @@ @Manual{jacc, title = "jacc: Just Another Compiler Compiler for {Java}", author = "Mark P. Jones", - month = feb, year = "2004", URL = "http://web.cecs.pdx.edu/~mpj/jacc/jacc.pdf", } @@ -6282,7 +5953,6 @@ author = "Daniel Jackson and Mandana Vaziri", title = "Finding Bugs with a Constraint Solver", booktitle = issta, - month = aug, year = "2000", URL = "http://sdg.csail.mit.edu/pubs/2000/issta00.pdf", } @@ -6291,7 +5961,6 @@ author = "Suresh Jagannathan and Andrew Wright", title = "Effective Flow Analysis for Avoiding Run-Time Checks", year = "1995", - month = sep, booktitle = sas, publisher = springer, series = lncs, @@ -6331,7 +6000,6 @@ volume = "26", number = "6", pages = "911--937", - month = nov, year = "2004", URL = "http://www-staff.it.uts.edu.au/~cbj/Publications/pattern_calculus.pdf", alturl = "http://doi.acm.org/10.1145/1034774.1034775", @@ -6353,7 +6021,6 @@ title = "Inference of polymorphic and conditional strictness properties", booktitle = popl, - month = jan, year = "1998", pages = "209--221", publisher = acmp, @@ -6367,7 +6034,6 @@ booktitle = sp, pages = "89--105", year = "1999", - month = may, URL = "http://www.irisa.fr/lande/jensen/papers/SP99.ps", } @@ -6375,7 +6041,6 @@ author = "Jonas Braband Jensen and Lars Birkedal", title = "Fictional Separation Logic", booktitle = esop, - month = mar, year = "2012", pages = "377--396", publisher = springer, @@ -6399,7 +6064,6 @@ title = "Efficient Type Matching", booktitle = fossacs, pages = "187--204", - month = apr, year = "2002", publisher = springer, series = lncs, @@ -6414,7 +6078,6 @@ Allocation", booktitle = lics, year = "2005", - month = jun, URL = "http://www.cs.princeton.edu/~dpw/papers/stackcert-lics05.pdf", pages = "407--416", } @@ -6424,7 +6087,6 @@ title = "{ILC}: {A} Foundation for Automated Reasoning About Pointer Programs", booktitle = esop, - month = mar, year = "2006", pages = "131--145", publisher = springer, @@ -6451,7 +6113,6 @@ institution = "Massachusetts Institute of Technology", year = "1995", number = "MIT/LCS TM-532", - month = aug, URL = "http://www.research.att.com/~trevor/papers/principal-typings.ps.gz", } @@ -6470,7 +6131,6 @@ Yoonsik Cheon and Clyde Ruby and David Cok and Peter Müller and Joseph Kiniry and Patrice Chalin and Daniel M. Zimmerman", - month = may, year = "2008", URL = "http://www.jmlspecs.org/OldReleases/jmlrefman.pdf", } @@ -6486,7 +6146,6 @@ volume = "7", number = "3", pages = "212--232", - month = jun, URL = "ftp://ftp.cs.iastate.edu/pub/leavens/JML/sttt04.pdf", } @@ -6507,7 +6166,6 @@ booktitle = popl, pages = "44--57", year = "1986", - month = jan, } @InCollection{johnson-yacc-79, @@ -6542,7 +6200,6 @@ year = "1992", volume = "582", series = lncs, - month = feb, publisher = springer, URL = "http://web.cecs.pdx.edu/~mpj/pubs/esop92.html", } @@ -6551,7 +6208,6 @@ author = "Mark P. Jones", title = "Qualified Types: Theory and Practice", publisher = cup, - month = nov, year = "1994", } @@ -6563,7 +6219,6 @@ year = "1995", type = "Research Report", number = "YALEU/DCS/RR-1075", - month = jun, URL = "http://web.cecs.pdx.edu/~mpj/pubs/haskwork95.html", } @@ -6572,7 +6227,6 @@ title = "Using Parameterized Signatures to Express Modular Structure", booktitle = popl, - month = jan, year = "1996", URL = "http://web.cecs.pdx.edu/~mpj/pubs/paramsig.html", } @@ -6582,7 +6236,6 @@ title = "Dictionary-free Overloading by Partial Evaluation", booktitle = pepm, year = "1994", - month = jun, URL = "http://web.cecs.pdx.edu/~mpj/pubs/pepm94.ps", } @@ -6591,7 +6244,6 @@ title = "Lightweight Extensible Records for {Haskell}", booktitle = hw, year = "1999", - month = oct, URL = "http://web.cecs.pdx.edu/~mpj/pubs/recpro.ps.gz", } @@ -6600,7 +6252,6 @@ institution = "Yale University", title = "Simplifying and Improving Qualified Types", year = "1994", - month = jun, number = "YALEU/DCS/RR-1040", URL = "ftp://nebula.cs.yale.edu/pub/yale-fp/reports/RR-1040.ps.Z", } @@ -6610,7 +6261,6 @@ title = "Typing {Haskell} in {Haskell}", booktitle = hw, year = "1999", - month = oct, URL = "http://web.cecs.pdx.edu/~mpj/thih/", } @@ -6633,7 +6283,6 @@ survey of unification", institution = "Université Paris-Sud", number = "561", - month = apr, year = "1990", } @@ -6654,7 +6303,6 @@ author = "Jacques-Henri Jourdan and François Pottier and Xavier Leroy", title = "Validating ${LR}(1)$ Parsers", - month = mar, year = "2012", booktitle = esop, publisher = springer, @@ -6672,7 +6320,6 @@ volume = "23", number = "1", pages = "158--171", - month = jan, URL = "http://doi.acm.org/10.1145/321921.321938", } @@ -6680,7 +6327,6 @@ author = "John B. Kam and Jeffrey D. Ullman", title = "Monotone Data Flow Analysis Frameworks", journal = acta, - month = sep, year = "1977", volume = "7", number = "3", @@ -6693,7 +6339,6 @@ title = "Specification and Proof of Higher-Order Programs", school = "Université Paris-Sud", year = "2010", - month = nov, URL = "http://www.lri.fr/~kanig/files/thesis-kanig-15112010.pdf", } @@ -6727,7 +6372,6 @@ year = "1991", type = "Technical Report", number = "330", - month = apr, URL = "http://www.cs.indiana.edu/pub/techreports/TR330.pdf", } @@ -6741,7 +6385,6 @@ publisher = springer, series = lncs, volume = "4085", - month = aug, URL = "http://n.ethz.ch/~kassiosi/papers/fm06.pdf", } @@ -6770,7 +6413,6 @@ title = "Tree Constraints", school = "The Royal Institute of Technology (KTH)", year = "1994", - month = may, URL = "ftp://ftp.sics.se/pub/ps/papers/torbjorn-keisu-thesis.ps.gz", } @@ -6778,7 +6420,6 @@ author = "Andrew Kennedy", title = "Compiling with continuations, continued", booktitle = icfp, - month = sep, year = "2007", pages = "177--190", URL = "http://research.microsoft.com/~akenn/sml/CompilingWithContinuationsContinued.pdf", @@ -6788,7 +6429,6 @@ author = "Ken W. Kennedy", title = "Node listings applied to data flow analysis", booktitle = popl, - month = jan, year = "1975", pages = "10--21", URL = "http://doi.acm.org/10.1145/512976.512978", @@ -6811,7 +6451,6 @@ institution = "École Polytechnique", year = "1996", number = "LIX/RR/96/09", - month = sep, } @InProceedings{kerber-91, @@ -6832,7 +6471,6 @@ series = lncs, volume = "431", pages = "206--220", - month = may, year = "1990", URL = "http://dx.doi.org/10.1007/3-540-52590-4_50", } @@ -6866,7 +6504,6 @@ title = "${P}$-logic: Property verification for {Haskell} programs", note = "Draft", - month = aug, year = "2002", URL = "http://www.cse.ogi.edu/PacSoft/projects/programatica/plogic.pdf", } @@ -6884,7 +6521,6 @@ author = "Gary A. Kildall", title = "A unified approach to global program optimization", booktitle = popl, - month = oct, year = "1973", pages = "194--206", URL = "http://doi.acm.org/10.1145/512927.512945", @@ -6934,7 +6570,6 @@ volume = "6", number = "2", pages = "323--350", - month = jun, URL = "http://locus.siam.org/fulltext/SICOMP/volume-06/0206024.pdf", } @@ -6946,7 +6581,6 @@ volume = "21", number = "1", pages = "93--124", - month = mar, URL = "http://doi.acm.org/10.1145/62029.62030", } @@ -6958,7 +6592,6 @@ volume = "6", number = "1", pages = "1--5", - month = feb, } @Article{knuth-lr-65, @@ -6969,7 +6602,6 @@ volume = "8", number = "6", pages = "607--639", - month = dec, } @InProceedings{kobayashi-implicit-00, @@ -6980,7 +6612,6 @@ series = lncs, volume = "1877", year = "2000", - month = aug, pages = "489--503", URL = "http://www.yl.is.s.u-tokyo.ac.jp/members/koba/papers/deadlock-inference-concur.ps.gz", } @@ -6993,7 +6624,6 @@ volume = "21", number = "5", pages = "914--947", - month = sep, year = "1999", URL = "http://doi.acm.org/10.1145/330249.330251", } @@ -7005,7 +6635,6 @@ volume = "20", number = "2", pages = "436--482", - month = mar, year = "1998", URL = "http://doi.acm.org/10.1145/276393.278524", } @@ -7014,7 +6643,6 @@ author = "Eijiro Sumii and Naoki Kobayashi", title = "A Generalized Deadlock-Free Process Calculus", booktitle = hlcl, - month = sep, year = "1998", volume = "16", series = entcs, @@ -7028,7 +6656,6 @@ title = "Type-based useless variable elimination", pages = "84--93", booktitle = pepm, - month = jan, year = "2000", URL = "http://www.yl.is.s.u-tokyo.ac.jp/members/koba/papers/PEPM00.ps.gz", } @@ -7039,7 +6666,6 @@ journal = "Journal of Algorithms", volume = "15", number = "2", - month = sep, year = "1993", pages = "324--340", URL = "http://www.cs.uvic.ca/~ruskey/Publications/ForestIdeals.ps", @@ -7060,7 +6686,6 @@ title = "Macro-by-example: Deriving syntactic transformations from their specifications", booktitle = popl, - month = jan, year = "1987", pages = "77--84", URL = "http://doi.acm.org/10.1145/41625.41632", @@ -7070,7 +6695,6 @@ author = "Adam Koprowski and Henri Binsztok", title = "{TRX}: {A} Formally Verified Parser Interpreter", booktitle = esop, - month = mar, year = "2010", pages = "345--365", publisher = "Springer", @@ -7094,7 +6718,6 @@ title = "Access rights analysis for {Java}", pages = "359--372", booktitle = oopsla, - month = nov, year = "2002", URL = "http://www.research.ibm.com/javasec/OOPSLA2002preprint.pdf", } @@ -7120,7 +6743,6 @@ year = "1999", volume = "1799", series = lncs, - month = sep, publisher = springer, URL = "http://www.cs.brown.edu/~sk/Publications/Papers/Published/kfd-macro-to-gen-prog/paper.ps", } @@ -7133,7 +6755,6 @@ booktitle = tldi, pages = "105--116", year = "2009", - month = jan, URL = "http://www.cs.cmu.edu/~neelk/design-patterns-tldi09.pdf", } @@ -7142,7 +6763,6 @@ Dreyer and Deepak Garg", title = "Superficially substructural types", booktitle = icfp, - month = sep, year = "2012", pages = "41--54", URL = "http://www.mpi-sws.org/~neelk/icfp12-superficial-krishnaswami-turon-dreyer-garg.pdf", @@ -7160,7 +6780,6 @@ author = "George Kuan and David MacQueen", title = "Efficient type inference using ranked type variables", booktitle = ml, - month = oct, year = "2007", pages = "3--14", URL = "http://people.cs.uchicago.edu/~gkuan/pubs/ml07-km.pdf", @@ -7172,7 +6791,6 @@ Decidable", booktitle = lics, year = "2003", - month = jun, URL = "http://www.cag.lcs.mit.edu/~rinard/paper/lics03.pdf", } @@ -7182,7 +6800,6 @@ institution = "MIT Laboratory for Computer Science", year = "2003", number = "879", - month = jan, URL = "http://www.mit.edu/people/vkuncak/papers/TheoryStructuralSubtyping.ps", } @@ -7192,7 +6809,6 @@ pages = "46--59", booktitle = wgp, year = "2000", - month = jul, URL = "http://homepages.cwi.nl/~ralf/wgp00.ps", } @@ -7201,7 +6817,6 @@ title = "Scrap your boilerplate with class: extensible generic functions", note = "Submitted", - month = apr, year = "2005", URL = "http://research.microsoft.com/Users/simonpj/papers/hmap/gmap3.ps", } @@ -7213,7 +6828,6 @@ Platform", booktitle = acsac, pages = "285--290", - month = dec, year = "1999", URL = "http://www.acsac.org/1999/papers/thu-b-1500-lai.pdf", } @@ -7223,7 +6837,6 @@ title = "Verified Efficient Implementation of {Gabow}'s Strongly Connected Component Algorithm", booktitle = itp, - month = jul, year = "2014", pages = "325--340", publisher = springer, @@ -7239,7 +6852,6 @@ volume = "16", number = "10", pages = "613--615", - month = oct, year = "1973", URL = "http://research.microsoft.com/lampson/11-Confinement/WebPage.html", } @@ -7250,7 +6862,6 @@ journal = cj, volume = "6", number = "4", - month = jan, year = "1964", pages = "308--320", } @@ -7273,7 +6884,6 @@ Execution on Multiprocessors", school = "EECS Department, University of California, Berkeley", year = "1989", - month = may, note = "Technical Report UCB/CSD-89-502", URL = "http://www.eecs.berkeley.edu/Pubs/TechRpts/1989/CSD-89-502.pdf", } @@ -7283,7 +6893,6 @@ title = "Head Normal Form Bisimulation for Pairs and the $\lambda\mu$-Calculus", booktitle = lics, - month = aug, year = "2006", pages = "297--306", URL = "http://www.blassen.dk/soren/papers/2006lics.pdf", @@ -7298,7 +6907,6 @@ year = "1999", volume = "20", series = entcs, - month = apr, publisher = elsevier, URL = "http://www.blassen.dk/soren/papers/1999mfps15.ps", } @@ -7324,7 +6932,6 @@ volume = "14", number = "3", pages = "112--116", - month = may, URL = "http://dx.doi.org/10.1016/0020-0190(82)90065-5", } @@ -7332,7 +6939,6 @@ author = "Martin Odersky and Konstantin Läufer", title = "An Extension of {ML} with First-Class Abstract Types", year = "1992", - month = jun, booktitle = mlapp, pages = "78--91", URL = "http://www.cs.luc.edu/laufer/papers/ml92.pdf", @@ -7343,7 +6949,6 @@ title = "Polymorphic Type Inference and Abstract Data Types", journal = toplas, year = "1994", - month = sep, pages = "1411--1430", volume = "16", number = "5", @@ -7367,7 +6972,6 @@ Rival", title = "Separating Shape Graphs", booktitle = esop, - month = mar, year = "2010", pages = "387--406", publisher = springer, @@ -7383,7 +6987,6 @@ year = "1992", type = "Technical Report", number = "CS-92-25", - month = may, URL = "ftp://ftp.cs.brown.edu/pub/techreports/92/cs92-25.ps.gz", } @@ -7397,7 +7000,6 @@ volume = "24", number = "2", pages = "112--152", - month = mar, URL = "http://flint.cs.yale.edu/flint/publications/fj-toplas.html", } @@ -7411,7 +7013,6 @@ year = "2003", volume = "2622", series = lncs, - month = apr, publisher = springer, URL = "http://flint.cs.yale.edu/flint/publications/piptr.html", } @@ -7423,7 +7024,6 @@ Language", booktitle = icfp, pages = "183--196", - month = sep, year = "1999", URL = "http://flint.cs.yale.edu/flint/publications/javaflint2.html", } @@ -7435,7 +7035,6 @@ booktitle = fm, volume = "1709", series = lncs, - month = jan, year = "1999", pages = "1087--1106", publisher = springer, @@ -7448,7 +7047,6 @@ booktitle = icfp, pages = "27--38", year = "2003", - month = aug, URL = "http://gallium.inria.fr/~remy/work/mlf/icfp.pdf", } @@ -7456,7 +7054,6 @@ author = "Sylvain Lebresne", title = "A System ${F}$ with Call-by-Name Exceptions", booktitle = icalp, - month = jun, year = "2008", pages = "323--335", publisher = springer, @@ -7500,7 +7097,6 @@ author = "K. Rustan M. Leino and Peter M{\"u}ller", title = "A Basis for Verifying Multi-threaded Programs", booktitle = esop, - month = mar, year = "2009", pages = "378--393", series = lncs, @@ -7525,7 +7121,6 @@ author = "K. Rustan M. Leino and Peter Müller and Jan Smans", title = "Deadlock-Free Channels and Locks", booktitle = esop, - month = mar, year = "2010", pages = "407--426", publisher = springer, @@ -7561,7 +7156,6 @@ author = "Xavier Leroy", title = "Typage polymorphe d'un langage algorithmique", school = "Université Paris 7", - month = jun, year = "1992", pages = "196", URL = "http://gallium.inria.fr/~xleroy/publi/these-doctorat.ps.gz", @@ -7572,7 +7166,6 @@ title = "Formal certification of a compiler back-end or: programming a compiler with a proof assistant", booktitle = popl, - month = jan, year = "2006", pages = "42--54", URL = "http://gallium.inria.fr/~xleroy/publi/compiler-certif.pdf", @@ -7582,7 +7175,6 @@ author = "Xavier Leroy", title = "The {CompCert} verified compiler, software and commented proof", - month = sep, year = "2014", howpublished = "\url{http://compcert.inria.fr/}", } @@ -7594,7 +7186,6 @@ year = "1992", type = "Research Report", number = "1778", - month = oct, URL = "http://gallium.inria.fr/~xleroy/publi/phd-thesis.ps.gz", } @@ -7613,7 +7204,6 @@ de programmes dans l'assistant {Coq}", school = "Université Paris 11", year = "2004", - month = jul, URL = "http://www.lri.fr/~letouzey/download/these_letouzey.ps.gz", } @@ -7636,7 +7226,6 @@ Types", booktitle = popl, year = "2000", - month = jan, pages = "108--118", URL = "http://www.cse.ogi.edu/~mbs/pub/implicit_parameters/implicit.ps", } @@ -7646,7 +7235,6 @@ title = "Subjective auxiliary state for coarse-grained concurrency", booktitle = popl, - month = jan, year = "2013", pages = "561--574", URL = "http://software.imdea.org/~aleks/papers/concur/scsl4.pdf", @@ -7656,7 +7244,6 @@ author = "Daniel R. Licata and Robert Harper", title = "A universe of binding and computation", booktitle = icfp, - month = sep, year = "2009", pages = "123--134", URL = "http://www.cs.cmu.edu/~drl/pubs/lh09unibind/lh09unibind.pdf", @@ -7667,7 +7254,6 @@ Harper", title = "Focusing on Binding and Computation", booktitle = lics, - month = jun, year = "2008", pages = "241--252", URL = "http://www.cs.cmu.edu/~rwh/papers/focusing/paper.pdf", @@ -7680,7 +7266,6 @@ institution = "Carnegie Mellon University", year = "2008", number = "CMU-CS-08-101", - month = feb, URL = "http://www.cs.cmu.edu/~noam/research/lzh08focbind-tr.pdf", } @@ -7709,7 +7294,6 @@ title = "Simple Linear-Time Algorithms for Minimal Fixed Points", booktitle = icalp, - month = jul, year = "1998", pages = "53--66", series = lncs, @@ -7727,7 +7311,6 @@ year = "2010", type = "Technical Report", number = "MS-CIS-10-24", - month = jun, URL = "http://repository.upenn.edu/cis_reports/933/", } @@ -7736,7 +7319,6 @@ title = "When is a Functional Program Not a Functional Program?", booktitle = icfp, - month = sep, year = "1999", pages = "1--7", URL = "http://doi.acm.org/10.1145/317636.317775", @@ -7747,7 +7329,6 @@ title = "Reasoning About {CBV} Functional Programs in {Isabelle/HOL}", booktitle = tphol, - month = sep, year = "2004", pages = "201--216", URL = "http://homepages.inf.ed.ac.uk/rpollack/export/LongleyPollack04.pdf", @@ -7760,7 +7341,6 @@ author = "John M. Lucassen and David K. Gifford", title = "Polymorphic effect systems", booktitle = popl, - month = jan, year = "1988", pages = "47--57", URL = "http://pag.lcs.mit.edu/reading-group/lucassen88effects.pdf", @@ -7771,7 +7351,6 @@ Sethi", title = "An Ideal Model for Recursive Polymorphic Types", journal = "Information and Control", - month = oct # "--" # nov, volume = "71", number = "1--2", year = "1986", @@ -7793,7 +7372,6 @@ Implication", booktitle = tldi, year = "2011", - month = jan, URL = "http://dx.doi.org/10.1145/1929553.1929559", } @@ -7804,7 +7382,6 @@ booktitle = lics, pages = "348--357", year = "1988", - month = jul, } @InProceedings{mairson-90, @@ -7857,7 +7434,6 @@ author = "Filip Mari\'c", title = "Formal Verification of a Modern {SAT} Solver", note = "Unpublished", - month = jan, year = "2010", URL = "http://poincare.matf.bg.ac.rs/~filip//phd/sat-verification-shallow.pdf", } @@ -7867,7 +7443,6 @@ author = "Simon Marlow and Philip Wadler", pages = "136--149", booktitle = icfp, - month = jun, year = "1997", } @@ -7877,7 +7452,6 @@ institution = "Monash University", year = "1994", number = "94/203", - month = aug, URL = "http://lampwww.epfl.ch/~odersky/papers/negative-tr.ps.gz", } @@ -7888,7 +7462,6 @@ volume = "4", number = "2", pages = "258--282", - month = apr, year = "1982", URL = "http://doi.acm.org/10.1145/357162.357169", } @@ -7919,7 +7492,6 @@ author = "Karl Mazurak and Jianzhou Zhao and Steve Zdancewic", title = "Lightweight linear types in system ${F}^\circ$", booktitle = tldi, - month = jan, year = "2010", pages = "77--88", URL = "http://www.cis.upenn.edu/~stevez/papers/MZZ10.pdf", @@ -7933,7 +7505,6 @@ booktitle = ifl, series = lncs, volume = "1595", - month = sep, year = "1998", pages = "139--154", URL = "http://www.scms.rgu.ac.uk/staff/bjm/doc/IFL_98.ps", @@ -7947,7 +7518,6 @@ journal = jacm, volume = "49", number = "4", - month = jul, URL = "http://doi.acm.org/10.1145/581771.581774", } @@ -7955,7 +7525,6 @@ author = "David McAllester", title = "A Logical Algorithm for {ML} Type Inference", booktitle = rta, - month = jun, year = "2003", pages = "436--451", series = lncs, @@ -7977,7 +7546,6 @@ title = "{I} am not a number: {I} am a free variable", booktitle = hw, year = "2004", - month = sep, URL = "http://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf", } @@ -8009,7 +7577,6 @@ booktitle = tlca, year = "1993", pages = "289--305", - month = mar, publisher = springer, series = lncs, number = "664", @@ -8078,7 +7645,6 @@ volume = "3", number = "1--2", pages = "7--24", - month = aug, URL = "http://web.comlab.ox.ac.uk/oucl/work/tom.melham/pub/Melham-1994-HLE.pdf", } @@ -8089,7 +7655,6 @@ title = "Interconvertibility of a class of set constraints and context-free language reachability", journal = tcs, - month = nov, year = "2000", volume = "248", number = "1--2", @@ -8105,7 +7670,6 @@ @Manual{merr, title = "{Merr} User's Guide", author = "Clinton L. Jeffery", - month = jul, year = "2002", URL = "http://unicon.sourceforge.net/merr/merrguid.pdf", } @@ -8141,7 +7705,6 @@ Structures", booktitle = "Logical Frameworks BRA Workshop", year = "1990", - month = may, URL = "http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mll.pdf", } @@ -8164,7 +7727,6 @@ volume = "175", number = "1", pages = "76--118", - month = may, URL = "http://www.cs.ucla.edu/~todd/research/iandc.ps", } @@ -8176,7 +7738,6 @@ year = "1999", volume = "1628", series = lncs, - month = jun, publisher = springer, URL = "http://www.cs.ucla.edu/~todd/research/ecoop99.ps", } @@ -8187,7 +7748,6 @@ pages = "348--375", journal = "Journal of Computer and System Sciences", year = "1978", - month = dec, volume = "17", number = "3", URL = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.5276", @@ -8198,7 +7758,6 @@ institution = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh", - month = oct, number = "{ECS--LFCS--91--180}", title = "The Polyadic $\pi$-Calculus: a Tutorial", year = "1991", @@ -8211,7 +7770,6 @@ computable functions", booktitle = "Proceedings of the {ACM} conference on proving assertions about programs", - month = jan, year = "1972", pages = "1--6", URL = "http://doi.acm.org/10.1145/800235.807067", @@ -8224,7 +7782,6 @@ institution = "Stanford University, Department of Computer Science", year = "1972", number = "CS-TR-72-288", - month = may, URL = "ftp://reports.stanford.edu/pub/cstr/reports/cs/tr/72/288/CS-TR-72-288.pdf", } @@ -8234,7 +7791,6 @@ institution = "Stanford University, Department of Computer Science", year = "1973", number = "CS-TR-73-332", - month = jan, URL = "ftp://reports.stanford.edu/pub/cstr/reports/cs/tr/73/332/CS-TR-73-332.pdf", } @@ -8252,7 +7808,6 @@ title = "Barbed Bisimulation", author = "Robin Milner and Davide Sangiorgi", booktitle = icalp, - month = jul, year = "1992", series = lncs, volume = "623", @@ -8266,7 +7821,6 @@ title = "A functional representation of data structures with a hole", booktitle = popl, - month = jan, year = "1998", pages = "75--84", URL = "http://www.score.cs.tsukuba.ac.jp/~minamide/papers/hole.popl98.pdf", @@ -8277,7 +7831,6 @@ Harper", title = "Typed closure conversion", booktitle = popl, - month = jan, year = "1996", pages = "271--283", URL = "http://www.cs.cornell.edu/Info/People/jgm/papers/closure-summary.ps", @@ -8288,7 +7841,6 @@ title = "A {SAT} Solver Primer.", journal = "Bulletin of the EATCS", volume = "85", - month = feb, year = "2005", pages = "112--133", URL = "http://www.cs.sfu.ca/~mitchell/papers/colLogCS85.pdf", @@ -8299,7 +7851,6 @@ title = "Coercion and type inference", booktitle = popl, pages = "175--185", - month = jan, year = "1984", URL = "http://portal.acm.org/citation.cfm?id=800529&dl=ACM&coll=portal", } @@ -8331,7 +7882,6 @@ year = "1991", volume = "1", number = "3", - month = jul, pages = "245--286", } @@ -8378,7 +7928,6 @@ title = "Full abstraction in a metalanguage for state", booktitle = lola, year = "2010", - month = jul, } @InProceedings{moggi-89, @@ -8386,7 +7935,6 @@ title = "Computational $\lambda$-Calculus and Monads", booktitle = lics, year = "1989", - month = jun, pages = "14--23", URL = "http://www.disi.unige.it/person/MoggiE/ftp/lics89.ps.gz", } @@ -8396,7 +7944,6 @@ title = "An abstract view of programming languages", institution = "University of Edinburgh", number = "ECS-LFCS-90-113", - month = jun, year = "1989", URL = "http://www.disi.unige.it/person/MoggiE/ftp/abs-view.ps.gz", } @@ -8437,7 +7984,6 @@ author = "Stefan Monnier", title = "Statically tracking state with Typed Regions", note = "Unpublished", - month = may, year = "2008", URL = "http://www.iro.umontreal.ca/~monnier/tr.pdf", } @@ -8447,7 +7993,6 @@ title = "Modeling Abstract Types in Modules with Open Existential Types", booktitle = popl, - month = jan, year = "2009", URL = "http://gallium.inria.fr/~remy/modules/Montagu-Remy@popl09:fzip.pdf", pages = "63--74", @@ -8473,7 +8018,6 @@ volume = "21", number = "3", pages = "528--569", - month = may, URL = "http://www.cs.cornell.edu/talc/papers/tal-toplas.pdf", } @@ -8495,7 +8039,6 @@ title = "Chaff: Engineering an efficient {SAT} solver", booktitle = dac, year = "2001", - month = jul, URL = "http://research.microsoft.com/users/lintaoz/papers/dac_2001.pdf", } @@ -8514,7 +8057,6 @@ title = "A Constraint-Based Recast of {ML}-Polymorphism", booktitle = "International Workshop on Unification", year = "1994", - month = jun, note = "Technical Report 94-R-243, CRIN, Nancy, France", URL = "http://www.ps.uni-sb.de/Papers/abstracts/UNIF94.ps", } @@ -8522,7 +8064,6 @@ @Unpublished{mueller-98, author = "Martin M{\"u}ller", title = "Notes on {HM}$({X})$", - month = aug, year = "1998", URL = "http://www.ps.uni-sb.de/~mmueller/papers/HMX.ps.gz", note = "Unpublished", @@ -8570,7 +8111,6 @@ author = "Joachim Niehren and Martin M{\"u}ller and Andreas Podelski", booktitle = tapsoft, - month = apr, title = "Inclusion Constraints over Non-Empty Sets of Trees", series = lncs, publisher = springer, @@ -8600,7 +8140,6 @@ year = "1998", volume = "1538", series = lncs, - month = dec, publisher = springer, URL = "http://www.ps.uni-sb.de/Papers/abstracts/FirstClass98.ps", } @@ -8619,7 +8158,6 @@ author = "Peter M{\"u}ller and Arsenii Rudich", title = "Ownership transfer in universe types", booktitle = oopsla, - month = oct, year = "2007", pages = "461--478", URL = "http://dx.doi.org/10.1145/1297027.1297061", @@ -8634,7 +8172,6 @@ booktitle = cdcs, pages = "240--249", year = "1998", - month = may, URL = "http://www.cc.gatech.edu/~calton/publications/dcs-98.pdf", } @@ -8642,7 +8179,6 @@ author = "Alan Mycroft", title = "Polymorphic Type Schemes and Recursive Definitions", booktitle = "International Symposium on Programming", - month = apr, series = lncs, volume = "167", pages = "217--228", @@ -8656,7 +8192,6 @@ title = "Mostly-Static Decentralized Information Flow Control", school = "Massachusetts Institute of Technology", year = "1999", - month = jan, pages = "171", note = "Technical Report MIT/LCS/TR-783", URL = "http://www.cs.cornell.edu/andru/release/tr783.ps.gz", @@ -8670,7 +8205,6 @@ Methodology", volume = "9", number = "4", - month = oct, year = "2000", pages = "410--442", URL = "http://www.cs.cornell.edu/andru/papers/iflow-tosem.ps.gz", @@ -8680,7 +8214,6 @@ author = "Andrew C. Myers and Barbara Liskov", title = "A Decentralized Model for Information Flow Control", year = "1997", - month = oct, number = "5", volume = "31", pages = "129--142", @@ -8693,7 +8226,6 @@ title = "Complete, Safe Information Flow with Decentralized Labels", year = "1998", - month = may, pages = "186--197", booktitle = sp, URL = "http://www.cs.cornell.edu/andru/papers/sp98/top.html", @@ -8705,7 +8237,6 @@ control", booktitle = popl, year = "1999", - month = jan, pages = "228--241", URL = "http://www.cs.cornell.edu/andru/papers/popl99/myers-popl99.ps.gz", } @@ -8718,7 +8249,6 @@ volume = "21", number = "1", pages = "5--19", - month = jan, URL = "http://www.cs.cornell.edu/andru/papers/jsac/sm-jsac03.pdf", } @@ -8729,7 +8259,6 @@ booktitle = ppdp, pages = "195--206", year = "2003", - month = aug, URL = "http://www-users.cs.umn.edu/~gopalan/papers/reduction.ps", alturl = "http://doi.acm.org/10.1145/888270", } @@ -8740,7 +8269,6 @@ booktitle = lics, pages = "255--266", year = "2000", - month = jun, URL = "http://www602.math.ryukoku.ac.jp/~nakano/papers/modality-lics00.ps.gz", } @@ -8753,7 +8281,6 @@ year = "2001", volume = "2215", series = lncs, - month = oct, publisher = springer, URL = "http://www602.math.ryukoku.ac.jp/~nakano/papers/modality-tacs01.pdf", } @@ -8765,7 +8292,6 @@ University", year = "2002", number = "CMU-CS-02-123R", - month = nov, URL = "http://www.eecs.harvard.edu/~aleks/papers/necessity/techrep2.ps", } @@ -8776,7 +8302,6 @@ booktitle = icfp, pages = "62--73", year = "2006", - month = sep, URL = "http://www.eecs.harvard.edu/~aleks/papers/hoarelogic/icfp06.pdf", } @@ -8790,7 +8315,6 @@ series = lncs, volume = "4421", pages = "189--204", - month = mar, publisher = springer, URL = "http://www.eecs.harvard.edu/~aleks/papers/hoarelogic/esop07.pdf", } @@ -8813,7 +8337,6 @@ title = "Structuring the verification of heap-manipulating programs", booktitle = popl, - month = jan, year = "2010", pages = "261--274", URL = "http://software.imdea.org/~aleks/papers/reflect/reflect.pdf", @@ -8824,7 +8347,6 @@ Shinnar and Paul Govereau and Lars Birkedal", title = "Ynot: dependent types for imperative programs", booktitle = icfp, - month = sep, year = "2008", pages = "229--240", URL = "http://ynot.cs.harvard.edu/papers/ynot08.pdf", @@ -8860,7 +8382,6 @@ title = "Separation logic + superposition calculus = heap theorem prover", booktitle = pldi, - month = jun, year = "2011", pages = "556--566", URL = "http://www7.informatik.tu-muenchen.de/um/bibdb/navarro/pldi2011.pdf", @@ -8876,7 +8397,6 @@ publisher = "EasyChair", series = "EPiC Series", volume = "17", - month = jun, year = "2012", URL = "http://www.easychair.org/publications/?page=722211206", } @@ -8887,7 +8407,6 @@ title = "Automated Verification of Shape and Size Properties Via Separation Logic", booktitle = vmcai, - month = jan, year = "2007", pages = "251--266", publisher = springer, @@ -8900,7 +8419,6 @@ author = "Jan Nicklisch and Simon {Peyton Jones}", title = "An exploration of modular programs", booktitle = "Functional Programming Workshop", - month = jul, year = "1996", URL = "http://www.dcs.gla.ac.uk/fp/workshops/fpw96/Nicklisch.ps.gz", } @@ -8910,7 +8428,6 @@ title = "Non-Structural Subtype Entailment in Automata Theory", booktitle = tacs, publisher = springer, - month = oct, year = "2001", URL = "ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/pauto.ps.gz", } @@ -8929,7 +8446,6 @@ @TechReport{nielsen-00, author = "Lasse R. Nielsen", title = "A denotational investigation of defunctionalization", - month = dec, year = "2000", institution = "BRICS", number = "RS-00-47", @@ -8956,7 +8472,6 @@ journal = tcs, volume = "56", number = "1", - month = jan, URL = "http://dx.doi.org/10.1016/0304-3975(86)90006-X", } @@ -8979,7 +8494,6 @@ author = "Susumu Nishimura", pages = "266--278", booktitle = popl, - month = jan, year = "1998", URL = "ftp://ftp.kurims.kyoto-u.ac.jp/pub/paper/member/nisimura/dmesg-popl98.ps.gz", } @@ -9000,7 +8514,6 @@ and Didier Rémy and Jérôme Vouillon", title = "The {Objective Caml} system", year = "2005", - month = oct, URL = "http://caml.inria.fr/", } @@ -9010,7 +8523,6 @@ journal = "The Monad.Reader", year = "2007", volume = "6", - month = jan, URL = "http://www.haskell.org/sitewiki/images/1/14/TMR-Issue6.pdf", } @@ -9020,7 +8532,6 @@ booktitle = popl, year = "1996", pages = "54--67", - month = jan, URL = "http://lamp.epfl.ch/~odersky/papers/popl96.ps.gz", } @@ -9030,7 +8541,6 @@ pages = "48--59", booktitle = popl, year = "1994", - month = jan, URL = "http://lampwww.epfl.ch/~odersky/papers/popl94.ps.gz", } @@ -9063,7 +8573,6 @@ booktitle = fpca, pages = "135--146", year = "1995", - month = jun, URL = "http://lampwww.epfl.ch/~odersky/papers/fpca95.ps.gz", } @@ -9085,7 +8594,6 @@ volume = "375", number = "1--3", pages = "271--307", - month = may, URL = "http://www.dcs.qmul.ac.uk/~ohearn/papers/concurrency.pdf", } @@ -9096,7 +8604,6 @@ booktitle = popl, pages = "268--280", year = "2004", - month = jan, URL = "http://www.dcs.qmul.ac.uk/~ohearn/papers/separation-and-hiding.pdf", } @@ -9129,7 +8636,6 @@ volume = "17", number = "6", pages = "844--895", - month = nov, year = "1995", URL = "http://doi.acm.org/10.1145/218570.218572", } @@ -9148,7 +8654,6 @@ title = "The role of lazy evaluation in amortized data structures", booktitle = icfp, - month = may, year = "1996", pages = "62--72", URL = "http://www.eecs.usma.edu/webs/people/okasaki/icfp96.ps", @@ -9160,7 +8665,6 @@ booktitle = ml, pages = "77--86", year = "1998", - month = sep, URL = "http://www.cse.ogi.edu/~andy/papers/ml98maps.ps", } @@ -9179,7 +8683,6 @@ University", year = "1996", number = "CMU-CS-96-177", - month = sep, URL = "http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf", } @@ -9189,7 +8692,6 @@ booktitle = ml, pages = "14--23", year = "1998", - month = sep, URL = "http://www.eecs.usma.edu/Personnel/okasaki/ml98views.ps", } @@ -9206,7 +8708,6 @@ @Manual{omega, title = "${\Omega}$mega", author = "Tim Sheard", - month = nov, year = "2005", URL = "http://www.cs.pdx.edu/~sheard/Omega/", } @@ -9218,7 +8719,6 @@ volume = "126", number = "2", pages = "259--280", - month = apr, year = "1994", URL = "ftp://ftp.cs.vu.nl/pub/papers/theory/IR-298.ps.Z", } @@ -9284,7 +8784,6 @@ volume = "16", number = "6", pages = "973--989", - month = dec, year = "1987", URL = "http://locus.siam.org/fulltext/SICOMP/volume-16/0216062.pdf", } @@ -9294,7 +8793,6 @@ title = "The Pointer Assertion Logic Engine", booktitle = pldi, year = "2001", - month = jun, pages = "221--231", URL = "http://www.brics.dk/~amoeller/papers/pale/pale.pdf", } @@ -9314,7 +8812,6 @@ author = "Jens Palsberg and Patrick M. O'Keefe", title = "A Type System Equivalent to Flow Analysis", journal = toplas, - month = jul, year = "1995", volume = "17", number = "4", @@ -9325,7 +8822,6 @@ @InProceedings{palsberg-orbaek-95, author = "Jens Palsberg and Peter {\O}rb{\ae}k", booktitle = sas, - month = sep, title = "Trust in the {$\lambda$}-calculus", series = "Lecture Notes in Computer Science", volume = "983", @@ -9339,7 +8835,6 @@ author = "Peter {\O}rb{\ae}k and Jens Palsberg", pages = "557--591", journal = jfp, - month = nov, year = "1997", volume = "7", number = "6", @@ -9353,7 +8848,6 @@ volume = "18", number = "5", pages = "519--527", - month = sep, year = "1996", URL = "http://www.cs.ucla.edu/~palsberg/paper/toplas96-ps.pdf", } @@ -9385,7 +8879,6 @@ Subtyping", pages = "125--136", booktitle = lics, - month = jul, year = "2002", } @@ -9412,7 +8905,6 @@ author = "Matthew Parkinson and Gavin Bierman", title = "Separation logic and abstraction", booktitle = popl, - month = jan, year = "2005", pages = "247--258", URL = "http://www.cl.cam.ac.uk/~mjp41/p205-parkinson.pdf", @@ -9422,7 +8914,6 @@ author = "Matthew Parkinson and Gavin Bierman", title = "Separation logic, abstraction and inheritance", booktitle = popl, - month = jan, year = "2008", pages = "75--86", URL = "http://research.microsoft.com/~gmb/Papers/popl08.pdf", @@ -9459,7 +8950,6 @@ institution = "Oregon Graduate Institute", year = "2000", number = "00-007", - month = mar, URL = "http://www.cse.ogi.edu/PacSoft/publications/phaseiiiq13papers/dali.pdf", } @@ -9470,7 +8960,6 @@ booktitle = gpce, pages = "136--167", year = "2004", - month = oct, URL = "http://web.cecs.pdx.edu/~sheard/papers/MetaProgTypObjLangReps.ps", } @@ -9478,7 +8967,6 @@ author = "Emir Pa{\v s}ali{\'c} and Walid Taha and Tim Sheard", title = "Tagless staged interpreters for typed languages", booktitle = icfp, - month = oct, year = "2002", pages = "218--229", URL = "http://www.cs.rice.edu/~taha/teaching/02F/511/papers/pts02.pdf", @@ -9499,7 +8987,6 @@ year = "1989", booktitle = popl, pages = "89--104", - month = jan, URL = "http://doi.acm.org/10.1145/75277.75285", } @@ -9540,7 +9027,6 @@ booktitle = pldi, pages = "227--236", year = "1993", - month = jun, URL = "http://web.cecs.pdx.edu/~mpj/pubs/pldi93.ps", } @@ -9568,7 +9054,6 @@ @Unpublished{peyton-jones-shields-04, author = "Simon {Peyton Jones} and Mark Shields", title = "Lexically-Scoped Type Variables", - month = apr, year = "2004", note = "Manuscript", URL = "http://www.cse.ogi.edu/~mbs/pub/scoped/", @@ -9579,7 +9064,6 @@ Stephanie Weirich and Geoffrey Washburn", title = "Simple unification-based type inference for {GADTs}", booktitle = icfp, - month = sep, year = "2006", pages = "50--61", URL = "http://research.microsoft.com/~simonpj/papers/gadt/gadt-icfp.pdf", @@ -9591,7 +9075,6 @@ concurrency, exceptions, and foreign-language calls in {Haskell}", howpublished = "Online lecture notes", - month = jan, year = "2009", URL = "http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/mark.pdf", } @@ -9601,7 +9084,6 @@ title = "Imperative functional programming", booktitle = popl, year = "1993", - month = jan, pages = "71--84", URL = "http://homepages.inf.ed.ac.uk/wadler/papers/imperative/imperative.ps.gz", } @@ -9613,7 +9095,6 @@ data types", institution = "University of Pennsylvania", year = "2004", - month = jul, number = "MS-CIS-05-26", URL = "http://www.cis.upenn.edu/~geoffw/research/papers/MS-CIS-05-26.pdf", } @@ -9623,7 +9104,6 @@ title = "Higher-Order Abstract Syntax", pages = "199--208", booktitle = pldi, - month = jun, year = "1988", URL = "http://doi.acm.org/10.1145/53990.54010", } @@ -9646,7 +9126,6 @@ higher-order abstract syntax and first-class substitutions", booktitle = popl, - month = jan, year = "2008", pages = "371--382", URL = "http://www.cs.mcgill.ca/~bpientka/papers/hoasfun-short.pdf", @@ -9657,7 +9136,6 @@ title = "Programming with Proofs and Explicit Contexts", booktitle = ppdp, pages = "163--173", - month = jul, year = "2008", URL = "http://www.cs.mcgill.ca/~bpientka/papers/ppdp-pientka.pdf", } @@ -9671,7 +9149,6 @@ year = "2007", volume = "4732", series = lncs, - month = sep, publisher = springer, URL = "http://www.cs.mcgill.ca/~bpientka/papers/pearl.pdf", } @@ -9682,7 +9159,6 @@ pages = "376--385", booktitle = lics, year = "1993", - month = jun, URL = "http://www.cis.upenn.edu/~bcpierce/papers/pi-lics.ps", } @@ -9702,7 +9178,6 @@ volume = "22", number = "1", pages = "1--44", - month = jan, URL = "http://doi.acm.org/10.1145/345099.345100", } @@ -9713,7 +9188,6 @@ institution = "University of Edinburgh, LFCS", type = "Technical Report", number = "ECS-LFCS-93-256", - month = apr, year = "1993", note = "Also available as INRIA Research Report 1899", URL = "http://www.cis.upenn.edu/~bcpierce/papers/friendly.ps", @@ -9726,7 +9200,6 @@ journal = jfp, volume = "4", number = "2", - month = apr, pages = "207--247", year = "1994", URL = "http://www.cis.upenn.edu/~bcpierce/papers/oop.ps", @@ -9740,7 +9213,6 @@ volume = "112", number = "1", pages = "131--165", - month = jul, URL = "http://www.cis.upenn.edu/~bcpierce/papers/fsubpopl.ps", } @@ -9748,7 +9220,6 @@ author = "Alexandre Pilkiewicz and François Pottier", title = "The essence of monotonic state", booktitle = tldi, - month = jan, year = "2011", URL = "http://gallium.inria.fr/~fpottier/publis/pilkiewicz-pottier-monotonicity.pdf", } @@ -9768,7 +9239,6 @@ author = "Andrew M. Pitts", title = "Alpha-Structural Recursion and Induction", booktitle = tphol, - month = aug, year = "2005", series = lncs, publisher = springer, @@ -9791,7 +9261,6 @@ booktitle = popl, pages = "159--170", year = "2010", - month = jan, URL = "http://www.cl.cam.ac.uk/~amp12/papers/nomst/nomst-popl.pdf", } @@ -9825,7 +9294,6 @@ Roger Wolff", title = "Permission-based programming languages", booktitle = icse, - month = may, year = "2011", pages = "828--831", URL = "http://www.cs.cmu.edu/~aldrich/papers/plaid-NIER2010.pdf", @@ -9886,7 +9354,6 @@ title = "Mechanized Metatheory for the Masses: The \textsc{PoplMark} Challenge", booktitle = tphol, - month = aug, year = "2005", series = lncs, volume = "3603", @@ -9898,7 +9365,6 @@ @Misc{popuri-bison-06, author = "Satya Kiran Popuri", title = "Understanding {C} parsers generated by {GNU Bison}", - month = sep, year = "2006", URL = "http://www.cs.uic.edu/~spopuri/cparser.html", } @@ -9906,7 +9372,6 @@ @InProceedings{pottier-alphacaml, author = "François Pottier", title = "An overview of {C$\alpha$ml}", - month = mar, year = "2006", booktitle = "ACM Workshop on ML", pages = "27--52", @@ -9919,7 +9384,6 @@ @Misc{pottier-alphacaml-software, author = "François Pottier", title = "{C$\alpha$ml}", - month = jun, year = "2005", URL = "http://gallium.inria.fr/~fpottier/alphaCaml/", } @@ -9928,7 +9392,6 @@ author = "François Pottier", title = "Hiding local state in direct style: a higher-order anti-frame rule", - month = jun, year = "2008", booktitle = lics, URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-antiframe-2008.pdf", @@ -9939,7 +9402,6 @@ author = "François Pottier", title = "Three comments on the anti-frame rule", note = "Unpublished", - month = jul, year = "2009", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-caf-2009.pdf", } @@ -9948,7 +9410,6 @@ author = "François Pottier and Sylvain Conchon", title = "Information Flow Inference for Free", booktitle = icfp, - month = sep, year = "2000", pages = "46--57", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-conchon-icfp00.ps.gz", @@ -9958,7 +9419,6 @@ author = "François Pottier", title = "A Simple View of Type-Secure Information Flow in the $\pi$-Calculus", - month = jun, year = "2002", booktitle = csfw, pages = "320--330", @@ -9979,7 +9439,6 @@ @Unpublished{pottier-dfs-scc-15, author = "François Pottier", title = "Depth-First Search and Strong Connectivity in {Coq}", - month = sep, year = "2014", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-dfs-scc.pdf", note = "Submitted for publication", @@ -9993,7 +9452,6 @@ series = lncs, volume = "1782", pages = "320--335", - month = mar, year = "2000", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-esop-2000.ps.gz", } @@ -10003,7 +9461,6 @@ title = "Generalizing the higher-order frame and anti-frame rules", note = "Unpublished", - month = jul, year = "2009", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-gaf-2009.pdf", } @@ -10012,7 +9469,6 @@ author = "François Pottier and Nadji Gauthier", title = "Polymorphic Typed Defunctionalization", booktitle = popl, - month = jan, year = "2004", pages = "89--98", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-gauthier-popl04.pdf", @@ -10023,7 +9479,6 @@ title = "Polymorphic Typed Defunctionalization and Concretization", journal = hosc, - month = mar, year = "2006", volume = "19", pages = "125--162", @@ -10037,7 +9492,6 @@ constrained types", booktitle = "Actes du {GDR} Programmation 1995 (journée du pôle Programmation Fonctionnelle)", - month = nov, year = "1995", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-gdr-95.ps.gz", } @@ -10048,7 +9502,6 @@ institution = "INRIA", number = "4150", type = "Research Report", - month = mar, year = "2001", URL = "http://hal.inria.fr/docs/00/07/24/75/PDF/RR-4150.pdf", } @@ -10057,7 +9510,6 @@ author = "François Pottier", title = "Simplifying subtyping constraints: a theory", journal = ic, - month = nov, year = "2001", volume = "170", number = "2", @@ -10069,7 +9521,6 @@ author = "François Pottier", title = "Simplifying subtyping constraints", booktitle = icfp, - month = jan, year = "1996", pages = "122--133", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-icfp96.ps.gz", @@ -10079,7 +9530,6 @@ author = "François Pottier", title = "A Framework for Type Inference with Subtyping", booktitle = icfp, - month = sep, year = "1998", pages = "228--238", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-icfp98.ps.gz", @@ -10089,7 +9539,6 @@ author = "François Pottier", title = "A Constraint-Based Presentation and Generalization of Rows", - month = jun, year = "2003", booktitle = lics, pages = "331--340", @@ -10101,7 +9550,6 @@ title = "Static name control for {FreshML}", booktitle = lics, year = "2007", - month = jul, pages = "356--365", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-pure-freshml.pdf", } @@ -10110,7 +9558,6 @@ author = "François Pottier", title = "A Versatile Constraint-Based Type Inference System", journal = njc, - month = nov, year = "2000", volume = "7", number = "4", @@ -10121,7 +9568,6 @@ @Misc{pottier-notes-dea, author = "Xavier Leroy and François Pottier", title = "Notes du cours de {DEA} «~Typage et programmation~»", - month = dec, year = "2002", URL = "http://gallium.inria.fr/~fpottier/dea/dea-typage.ps.gz", } @@ -10133,7 +9579,6 @@ institution = "INRIA", number = "3483", type = "Research Report", - month = sep, year = "1998", URL = "http://hal.inria.fr/docs/00/07/32/05/PDF/RR-3483.pdf", } @@ -10143,7 +9588,6 @@ title = "Synthèse de types en présence de sous-typage: de la théorie à la pratique", school = "Université Paris 7", - month = jul, year = "1998", URL = "http://gallium.inria.fr/~fpottier/publis/these-fpottier.ps.gz", } @@ -10152,7 +9596,6 @@ author = "François Pottier and Jonathan Protzenko", title = "Programming with permissions in {Mezzo}", booktitle = icfp, - month = sep, year = "2013", pages = "173--184", URL = "http://gallium.inria.fr/~fpottier/publis/pottier-protzenko-mezzo.pdf", @@ -10163,7 +9606,6 @@ title = "Stratified type inference for generalized algebraic data types", booktitle = popl, - month = jan, year = "2006", pages = "232--244", URL = "http://gallium.inria.fr/~fpottier/publis/pottier-regis-gianas-popl06.pdf", @@ -10196,7 +9638,6 @@ author = "François Pottier and Didier Rémy", title = "The Essence of {ML} Type Inference", note = "Draft of an extended version. Unpublished", - month = sep, year = "2003", URL = "http://cristal.inria.fr/attapl/preversion.ps.gz", } @@ -10205,7 +9646,6 @@ author = "François Pottier and Vincent Simonet", title = "Information Flow Inference for {ML}", booktitle = popl, - month = jan, year = "2002", pages = "319--330", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-simonet-popl02.ps.gz", @@ -10214,7 +9654,6 @@ @Article{pottier-simonet-toplas-03, author = "François Pottier and Vincent Simonet", title = "Information Flow Inference for {ML}", - month = jan, year = "2003", volume = "25", number = "1", @@ -10232,7 +9671,6 @@ series = lncs, volume = "2028", pages = "30--45", - month = apr, year = "2001", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-skalka-smith-esop01.ps.gz", } @@ -10257,7 +9695,6 @@ volume = "23", number = "1", pages = "38--144", - month = jan, year = "2013", URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-ssphs.pdf", } @@ -10266,7 +9703,6 @@ author = "François Pottier", title = "Wallace: an efficient implementation of type inference with subtyping", - month = feb, year = "2000", URL = "http://gallium.inria.fr/~fpottier/wallace/", } @@ -10287,7 +9723,6 @@ author = "Nicolas Pouillard", title = "Nameless, painless", booktitle = icfp, - month = sep, year = "2011", pages = "320--332", URL = "http://nicolaspouillard.fr/publis/nameless-painless.pdf", @@ -10297,7 +9732,6 @@ author = "Nicolas Pouillard and François Pottier", title = "A fresh look at programming with names and binders", booktitle = icfp, - month = sep, year = "2010", pages = "217--228", URL = "http://gallium.inria.fr/~fpottier/publis/pouillard-pottier-fresh-look.pdf", @@ -10310,7 +9744,6 @@ volume = "22", number = "4--5", pages = "614--704", - month = sep, year = "2012", URL = "http://gallium.inria.fr/~fpottier/publis/pouillard-pottier-unified.pdf", } @@ -10397,7 +9830,6 @@ author = "David Walker and Greg Morrisett", title = "Alias Types for Recursive Data Structures", booktitle = tic, - month = sep, year = "2000", series = lncs, volume = "2071", @@ -10410,7 +9842,6 @@ author = "Franz Regensburger", title = "{HOLCF}: Higher Order Logic of Computable Functions", booktitle = tphol, - month = sep, year = "1995", pages = "293--307", publisher = springer, @@ -10426,7 +9857,6 @@ fonctionnels", school = "Université Paris 7", year = "2007", - month = nov, URL = "http://gallium.inria.fr/~regisgia/these-yann.regis-gianas.pdf", } @@ -10435,7 +9865,6 @@ title = "A {Hoare} Logic for Call-by-Value Functional Programs", booktitle = mpc, - month = jul, year = "2008", series = lncs, volume = "5133", @@ -10451,7 +9880,6 @@ booktitle = popl, pages = "54--66", year = "2001", - month = jan, URL = "http://research.microsoft.com/~rehof/popl01.ps", } @@ -10469,7 +9897,6 @@ author = "Jakob Rehof", title = "Minimal Typings in Atomic Subtyping", booktitle = popl, - month = jan, year = "1997", pages = "278--291", URL = "http://research.microsoft.com/~rehof/popl97.ps", @@ -10499,7 +9926,6 @@ title = "Efficient Representation of Extensible Records", booktitle = mlapp, year = "1992", - month = jun, URL = "http://gallium.inria.fr/~remy/ftp/eff-repr-of-ext-records.pdf", } @@ -10518,7 +9944,6 @@ title = "From Classes to Objects via Subtyping", booktitle = esop, year = "1998", - month = mar, series = lncs, publisher = springer, volume = "1381", @@ -10543,7 +9968,6 @@ on type containment", booktitle = icfp, year = "2005", - month = sep, URL = "http://gallium.inria.fr/~remy/work/fml/fml-icfp.pdf", } @@ -10553,7 +9977,6 @@ on type containment", booktitle = icfp, year = "2005", - month = sep, URL = "http://gallium.inria.fr/~remy/work/fml/fml-icfp.pdf", } @@ -10574,7 +9997,6 @@ year = "1994", pages = "321--346", publisher = springer, - month = apr, URL = "http://gallium.inria.fr/~remy/ftp/tacs94.pdf", } @@ -10583,7 +10005,6 @@ title = "A case study of typechecking with constrained types: Typing record concatenation", howpublished = "Workshop on Advances in Types for Computer Science", - month = aug, year = "1995", URL = "http://gallium.inria.fr/~remy/work/sub-concat.dvi.gz", } @@ -10617,7 +10038,6 @@ booktitle = popl, year = "1997", pages = "40--53", - month = jan, URL = "http://gallium.inria.fr/~remy/ftp/objective-ml!popl97.pdf", } @@ -10641,7 +10061,6 @@ volume = "435", number = "1", pages = "77--105", - month = jun, URL = "http://gallium.inria.fr/~remy/mlf/Remy-Yakobowski:xmlf@tcs2011.pdf", } @@ -10661,7 +10080,6 @@ title = "Implementing Permission Analysis", school = "University of Wisconsin-Milwaukee", year = "2009", - month = may, } @InProceedings{reus-schwinghammer-06, @@ -10673,7 +10091,6 @@ volume = "4207", publisher = springer, pages = "575--590", - month = sep, URL = "http://www.ps.uni-sb.de/Papers/abstracts/seplogic-hos.pdf", } @@ -10716,7 +10133,6 @@ year = "1974", volume = "19", series = lncs, - month = apr, publisher = springer, URL = "http://www.springerlink.com/content/p5801737k78207p7/", } @@ -10725,7 +10141,6 @@ author = "John C. Reynolds", title = "Syntactic control of interference", booktitle = popl, - month = jan, year = "1978", pages = "39--46", URL = "http://doi.acm.org/10.1145/512760.512766", @@ -10745,7 +10160,6 @@ author = "John C. Reynolds", title = "Three Approaches to Type Structure", booktitle = tapsoft, - month = mar, series = lncs, volume = "185", publisher = springer, @@ -10762,7 +10176,6 @@ volume = "11", number = "4", pages = "363--397", - month = dec, year = "1998", URL = "https://cs.au.dk/~hosc/local/HOSC-11-4-pp363-397.pdf", } @@ -10774,7 +10187,6 @@ volume = "11", number = "4", pages = "355--361", - month = dec, year = "1998", URL = "https://cs.au.dk/~hosc/local/HOSC-11-4-pp355-361.pdf", } @@ -10809,7 +10221,6 @@ volume = "25", number = "3", pages = "291--315", - month = may, URL = "http://doi.acm.org/10.1145/641909.641910", } @@ -10817,7 +10228,6 @@ author = "Colin Riba", title = "On the Values of Reducibility Candidates", booktitle = tlca, - month = jul, year = "2009", pages = "264--278", publisher = springer, @@ -10832,7 +10242,6 @@ booktitle = tldi, pages = "25--36", year = "2005", - month = jan, URL = "http://www.cs.washington.edu/homes/miker/coord/coordinated_tldi05.pdf", } @@ -10949,7 +10358,6 @@ publisher = springer, series = lncs, volume = "874", - month = may, year = "1994", pages = "10--20", URL = "http://4c.ucc.ie/web/upload/publications/inProc/sabin94contradicting.pdf", @@ -10963,7 +10371,6 @@ volume = "8", number = "1", pages = "1--22", - month = jan, URL = "http://dx.doi.org/10.1017/S0956796897002943", } @@ -10973,7 +10380,6 @@ title = "{Sage}: Hybrid Checking for Flexible Specifications", booktitle = "Scheme and Functional Programming", year = "2006", - month = sep, pages = "93--104", URL = "http://www.cs.williams.edu/~freund/papers/06-sfp.pdf", } @@ -10984,7 +10390,6 @@ institution = "Yale University", year = "1998", number = "YALEU/DCS/TR-1166", - month = oct, URL = "http://flint.cs.yale.edu/flint/publications/cfa.ps.gz", } @@ -11004,7 +10409,6 @@ title = "Time profiling a lazy functional compiler", booktitle = "Functional Programming, Workshops in Computing", year = "1993", - month = jul, publisher = springer, URL = "ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/authors/Patrick_Sansom/1993_profiling-compiler_GLASGOWFP.ps.gz", } @@ -11015,7 +10419,6 @@ booktitle = oopsla, pages = "41--57", year = "2005", - month = oct, URL = "http://lamp.epfl.ch/~odersky/papers/ScalableComponent.pdf", } @@ -11024,7 +10427,6 @@ title = "Construction Methods of {LR} Parsers", school = "University of Pennsylvania", year = "1981", - month = may, URL = "http://repository.upenn.edu/cis_reports/725/", } @@ -11032,7 +10434,6 @@ author = "Fred B. Schneider", title = "Enforceable security policies", year = "2000", - month = feb, journal = tissec, volume = "3", number = "1", @@ -11052,7 +10453,6 @@ title = "{HasCASL}: Towards Integrated Specification and Development of Functional Programs", booktitle = amast, - month = sep, year = "2002", pages = "99--116", publisher = springer, @@ -11070,7 +10470,6 @@ volume = "16", number = "10", pages = "53--60", - month = oct, year = "1983", } @@ -11080,7 +10479,6 @@ institution = "BRICS", year = "1995", number = "BRICS-LS-95-3", - month = jun, URL = "http://www.brics.dk/LS/95/3/BRICS-LS-95-3.ps.gz", } @@ -11095,7 +10493,6 @@ number = "6604", pages = "305--319", series = lncs, - month = mar, publisher = springer, URL = "http://www.itu.dk/~birkedal/papers/relpoms-antiframe-conf.pdf", } @@ -11110,7 +10507,6 @@ year = "2009", volume = "5771", series = lncs, - month = sep, publisher = springer, URL = "http://www.itu.dk/~birkedal/papers/nested-triples-conf.pdf", } @@ -11120,7 +10516,6 @@ and François Pottier and Bernhard Reus", title = "A Semantic Foundation for Hidden State", booktitle = fossacs, - month = mar, year = "2010", pages = "2--17", publisher = springer, @@ -11153,7 +10548,6 @@ author = "R. C. Sekar and R. Ramesh and I. V. Ramakrishnan", pages = "1207--1234", journal = siamjc, - month = dec, year = "1995", volume = "24", number = "6", @@ -11177,7 +10571,6 @@ author = "Peter Sewell and Jan Vitek", title = "Secure Composition of Untrusted Code: Wrappers and Causality Types", - month = jul, year = "2000", booktitle = csfw, URL = "http://www.cl.cam.ac.uk/users/pes20/wraptypes.ps", @@ -11189,7 +10582,6 @@ Causality Types", number = "478", institution = "Computer Laboratory, University of Cambridge", - month = nov, year = "1999", URL = "http://www.cl.cam.ac.uk/users/pes20/wraptypes-tr.ps", } @@ -11203,7 +10595,6 @@ volume = "23", number = "5", pages = "459--471", - month = aug, URL = "http://www.nd.edu/~esha/papers/oldsha/alg.ps", } @@ -11223,7 +10614,6 @@ author = "Tim Sheard", title = "Languages of the Future", booktitle = oopsla, - month = oct, year = "2004", pages = "116--119", URL = "http://doi.acm.org/10.1145/1028664.1028711", @@ -11233,7 +10623,6 @@ author = "Tim Sheard", title = "Putting {Curry-Howard} To Work", booktitle = hw, - month = sep, year = "2005", pages = "74--85", URL = "http://web.cecs.pdx.edu/~sheard/papers/PutCurryHoward2WorkFinalVersion.ps", @@ -11260,7 +10649,6 @@ year = "1998", volume = "1608", series = lncs, - month = sep, publisher = springer, URL = "http://web.cecs.pdx.edu/~sheard/papers/summerschool.ps", } @@ -11270,7 +10658,6 @@ title = "Meta-Programming with Built-in Type Equality", booktitle = lfm, year = "2004", - month = jul, URL = "http://cs-www.cs.yale.edu/homes/carsten/lfm04/proceedings/pasalic.pdf", } @@ -11278,7 +10665,6 @@ author = "Mark B. Shields and Simon {Peyton Jones}", title = "First class modules for {Haskell}", booktitle = fool, - month = jan, year = "2002", pages = "28--40", URL = "http://www.cse.ogi.edu/~mbs/pub/first_class_modules/first_class_modules.pdf", @@ -11291,7 +10677,6 @@ booktitle = icfp, pages = "263--274", year = "2003", - month = aug, URL = "http://www.cl.cam.ac.uk/~amp12/papers/frepbm/frepbm.pdf", } @@ -11301,7 +10686,6 @@ masses", booktitle = ml, year = "2005", - month = sep, URL = "http://www.cl.cam.ac.uk/users/mrs30/papers/masses.pdf", } @@ -11311,7 +10695,6 @@ and binders", school = "University of Cambridge", year = "2005", - month = feb, URL = "http://www.cl.cam.ac.uk/users/mrs30/papers/thesis.pdf", } @@ -11346,7 +10729,6 @@ title = "A step-indexed {Kripke} Model of Hidden State", journal = mscs, note = "To appear", - month = jan, year = "2012", URL = "http://gallium.inria.fr/~fpottier/publis/sikmhs.pdf", } @@ -11357,7 +10739,6 @@ $\lambda$-calculus with Sum Types", booktitle = csfw, pages = "223--237", - month = jun, year = "2002", URL = "http://gallium.inria.fr/~simonet/publis/simonet-csfw-02.ps.gz", } @@ -11366,7 +10747,6 @@ author = "Vincent Simonet", title = "An Extension of {HM(X)} with Bounded Existential and Universal Data-Types", - month = jun, year = "2003", booktitle = icfp, URL = "http://gallium.inria.fr/~simonet/publis/simonet-icfp03.ps.gz", @@ -11378,7 +10758,6 @@ manual", institution = "INRIA", number = "0282", - month = jul, year = "2003", URL = "http://gallium.inria.fr/~simonet/soft/flowcaml/manual/", } @@ -11387,7 +10766,6 @@ author = "Vincent Simonet and François Pottier", title = "Constraint-Based Type Inference for Guarded Algebraic Data Types", - month = jan, year = "2005", institution = "INRIA", type = "Research Report", @@ -11404,7 +10782,6 @@ series = lncs, volume = "2895", year = "2003", - month = nov, URL = "http://gallium.inria.fr/~simonet/publis/simonet-aplas03.pdf", } @@ -11414,7 +10791,6 @@ formalisation et implantation", school = "Université Paris 7", year = "2004", - month = mar, URL = "http://gallium.inria.fr/~simonet/publis/simonet-these.pdf", } @@ -11434,14 +10810,12 @@ title = "Types for Programming Language-Based Security", school = "The Johns Hopkins University", year = "2002", - month = aug, URL = "http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-phd-thesis.ps", } @InProceedings{skalka-pottier-tip-02, author = "Christian Skalka and François Pottier", title = "Syntactic Type Soundness for {HM}{$(X)$}", - month = jul, year = "2002", booktitle = "Workshop on Types in Programming (TIP)", series = entcs, @@ -11453,7 +10827,6 @@ author = "Christian Skalka and Scott Smith", title = "Static Enforcement of Security with Types", booktitle = icfp, - month = sep, year = "2000", pages = "34--45", URL = "http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-smith-icfp00.ps", @@ -11469,7 +10842,6 @@ year = "2005", volume = "4111", series = lncs, - month = nov, publisher = springer, URL = "http://research.microsoft.com/pubs/67598/smallfoot.pdf", } @@ -11483,7 +10855,6 @@ pages = "148--172", volume = "5653", series = lncs, - month = jul, publisher = springer, URL = "http://people.cs.kuleuven.be/~jan.smans/ecoop09.pdf", } @@ -11508,7 +10879,6 @@ title = "A New Type System for Secure Information Flow", booktitle = csfw, pages = "115--125", - month = jun, year = "2001", URL = "http://www.cs.fiu.edu/~smithg/papers/csfw01.pdf", } @@ -11522,7 +10892,6 @@ volume = "668", publisher = springer, year = "1993", - month = apr, pages = "671--685", URL = "http://dx.doi.org/10.1007/3-540-56610-4_97", } @@ -11536,7 +10905,6 @@ volume = "23", number = "2--3", pages = "197--226", - month = dec, URL = "http://www.cs.fiu.edu/~smithg/papers/scp94.pdf", } @@ -11545,7 +10913,6 @@ title = "Partial Objects in Type Theory", school = "Cornell University", year = "1989", - month = jan, URL = "http://www.cs.jhu.edu/~scott/pll/older-papers/thesis.pdf", } @@ -11554,7 +10921,6 @@ Language", booktitle = popl, author = "Geoffrey Smith and Dennis Volpano", - month = jan, year = "1998", pages = "355--364", URL = "http://www.cs.nps.navy.mil/people/faculty/volpano/papers/popl98.ps.Z", @@ -11568,7 +10934,6 @@ series = lncs, volume = "1782", pages = "382--396", - month = mar, year = "2000", URL = "http://link.springer.de/link/service/series/0558/papers/1782/17820382.pdf", } @@ -11579,7 +10944,6 @@ title = "The Definition of {Standard ML} -- Revised", publisher = mitp, year = "1997", - month = may, } @Article{smolka-treinen-94, @@ -11589,7 +10953,6 @@ volume = "18", journal = jlp, number = "3", - month = apr, pages = "229--258", URL = "http://www.ps.uni-sb.de/Papers/abstracts/RecordsLogProg.ps", } @@ -11620,7 +10983,6 @@ author = "Jonathan Sobel and Daniel P. Friedman", title = "Recycling continuations", booktitle = icfp, - month = sep, year = "1998", pages = "251--260", URL = "http://www.cs.indiana.edu/hyplan/dfried/rc.ps", @@ -11630,7 +10992,6 @@ author = "Marvin H. Solomon", title = "Type Definitions with Parameters", booktitle = popl, - month = jan, year = "1978", pages = "31--38", URL = "http://doi.acm.org/10.1145/512760.512765", @@ -11663,7 +11024,6 @@ pages = "13--24", URL = "http://mattam.org/research/publications/Program-ing_Finger_Trees_in_Coq.pdf", title = "Program-ing Finger Trees in {Coq}", - month = sep, year = "2007", } @@ -11692,7 +11052,6 @@ author = "R. Stata and M. Abadi", title = "A Type System for {Java} Bytecode Subroutines", year = "1998", - month = jan, pages = "149--160", booktitle = popl, URL = "http://gatekeeper.dec.com/pub/DEC/SRC/research-reports/abstracts/src-rr-158.html", @@ -11714,7 +11073,6 @@ booktitle = popl, title = "Points-to Analysis in Almost Linear Time", year = "1996", - month = jan, pages = "32--41", URL = "ftp://ftp.research.microsoft.com/users/rusa/popl96.ps", } @@ -11724,7 +11082,6 @@ Klein and Jens Knoop and Tiziana Margaria", title = "The Fixpoint-Analysis Machine", booktitle = concur, - month = aug, year = "1995", pages = "72--87", publisher = springer, @@ -11742,7 +11099,6 @@ year = "2000", volume = "36", series = entcs, - month = sep, publisher = elsevier, URL = "http://formal.cs.uiuc.edu/stehr/extcinni.ps", } @@ -11752,7 +11108,6 @@ Appel", title = "Verified heap theorem prover by paramodulation", booktitle = icfp, - month = sep, year = "2012", pages = "3--14", URL = "http://www.cs.princeton.edu/~appel/papers/veristar.pdf", @@ -11775,7 +11130,6 @@ volume = "13", number = "1--2", pages = "11--49", - month = apr, URL = "http://dx.doi.org/10.1023/A:1010000313106", } @@ -11815,7 +11169,6 @@ title = "Entailment with Conditional Equality Constraints", booktitle = esop, year = "2001", - month = apr, pages = "170--189", series = lncs, volume = "2028", @@ -11829,7 +11182,6 @@ booktitle = popl, pages = "203--216", year = "2002", - month = jan, URL = "http://www.cs.berkeley.edu/~aiken/publications/papers/popl02.pdf", } @@ -11839,7 +11191,6 @@ with constraints", school = "Yale University, Department of Computer Science", year = "2000", - month = may, URL = "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.7.7745", } @@ -11853,7 +11204,6 @@ volume = "2024", pages = "246--263", publisher = springer, - month = mar, year = "2001", URL = "http://link.springer.de/link/service/series/0558/papers/2024/20240248.pdf", } @@ -11868,7 +11218,6 @@ type = "Research Report", year = "1999", number = "ACRC--99--009", - month = jul, URL = "http://www.ps.uni-sb.de/~mmueller/papers/hm-constraints.ps.gz", } @@ -11877,7 +11226,6 @@ title = "Type Inference with Constrained Types", booktitle = fool, year = "1997", - month = jan, URL = "ftp://ftp.ira.uka.de/pub/uni-karlsruhe/papers/techreports/1996/1996-28.ps.gz", } @@ -11888,7 +11236,6 @@ year = "1997", type = "Research Report", number = "YALEU/DCS/RR-1128", - month = apr, URL = "http://www.cs.mu.oz.au/~sulzmann/publications/tr-1128.ps.gz", } @@ -11908,7 +11255,6 @@ Equivalence in Polymorphic lambda-Calculus with General References", booktitle = csl, - month = sep, series = lncs, publisher = springer, volume = "5771", @@ -11921,7 +11267,6 @@ author = "Kasper Svendsen and Lars Birkedal", title = "Impredicative Concurrent Abstract Predicates", booktitle = esop, - month = apr, year = "2014", pages = "149--168", volume = "8410", @@ -11940,7 +11285,6 @@ title = "Modular Reasoning about Separation of Concurrent Data Structures", volume = "7792", - month = mar, year = "2013", URL = "http://cs.au.dk/~birke/papers/hocap-conf.pdf", } @@ -11951,7 +11295,6 @@ title = "Joins: {A} Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library", booktitle = ecoop, - month = jul, year = "2013", pages = "327--351", publisher = springer, @@ -11969,7 +11312,6 @@ volume = "62", number = "2", pages = "122--144", - month = oct, URL = "http://www.cs.umd.edu/~mwh/papers/cyc-mm-scp.pdf", } @@ -11977,7 +11319,6 @@ author = "S. Doaitse Swierstra and Luc Duponcheel", title = "Deterministic, Error-Correcting Combinator Parsers", booktitle = "Advanced Functional Programming", - month = aug, year = "1996", publisher = "Springer", series = "Lecture Notes in Computer Science", @@ -11991,7 +11332,6 @@ title = "Multi-stage Programming: Its Theory and Applications", school = "Oregon Graduate Institute", year = "1999", - month = nov, URL = "http://www.cs.rice.edu/~taha/publications/thesis/thesis.pdf", } @@ -12003,7 +11343,6 @@ year = "2004", volume = "3016", series = lncs, - month = nov, publisher = springer, URL = "http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf", } @@ -12014,7 +11353,6 @@ booktitle = popl, year = "2003", pages = "26--37", - month = jan, URL = "http://www.cs.rice.edu/~taha/publications/conference/popl03.pdf", } @@ -12026,7 +11364,6 @@ volume = "118", number = "1", pages = "120--127", - month = apr, URL = "http://dx.doi.org/10.1006/inco.1995.1057", } @@ -12062,7 +11399,6 @@ year = "2009", volume = "5904", series = lncs, - month = dec, publisher = springer, URL = "http://flint.cs.yale.edu/flint/publications/wusl.pdf", } @@ -12077,7 +11413,6 @@ @Manual{tarditi-appel-00, title = "{ML-Yacc} User's Manual", author = "David R. Tarditi and Andrew W. Appel", - month = apr, year = "2000", URL = "http://www.smlnj.org/doc/ML-Yacc/", } @@ -12086,7 +11421,6 @@ author = "Robert Tarjan", title = "Depth-First Search and Linear Graph Algorithms", journal = siamjc, - month = jun, year = "1972", volume = "1", number = "2", @@ -12103,7 +11437,6 @@ volume = "22", number = "2", pages = "215--225", - month = apr, URL = "http://www.csd.uwo.ca/~eschost/Teaching/07-08/CS445a/p215-tarjan.pdf", } @@ -12115,7 +11448,6 @@ volume = "26", number = "4", pages = "690--715", - month = oct, URL = "http://doi.acm.org/10.1145/322154.322161", } @@ -12140,7 +11472,6 @@ volume = "13", number = "3", pages = "566--579", - month = aug, URL = "http://dx.doi.org/10.1137/0213035", } @@ -12160,7 +11491,6 @@ title = "Template metaprogramming for {Haskell}", booktitle = hw, year = "2002", - month = oct, pages = "1--16", URL = "http://research.microsoft.com/~simonpj/papers/meta-haskell/meta-haskell.pdf", } @@ -12181,7 +11511,6 @@ classes", booktitle = popl, year = "1994", - month = jan, pages = "174--187", URL = "http://doi.acm.org/10.1145/174675.177850", } @@ -12190,7 +11519,6 @@ author = "Hayo Thielecke", title = "From control effects to typed continuation passing", booktitle = popl, - month = jan, year = "2003", pages = "139--149", URL = "http://www.cs.bham.ac.uk/~hxt/research/effects.pdf", @@ -12200,7 +11528,6 @@ author = "Hayo Thielecke", title = "Frame rules from answer types for code pointers", booktitle = popl, - month = jan, year = "2006", pages = "309--319", URL = "http://www.cs.bham.ac.uk/~hxt/research/popl06thielecke.pdf", @@ -12225,7 +11552,6 @@ booktitle = esop, publisher = springer, series = lncs, - month = apr, year = "2001", URL = "http://www.informatik.uni-freiburg.de/~thiemann/papers/espps-het.ps.gz", } @@ -12236,7 +11562,6 @@ Evaluation", booktitle = "Latin American Conference on Functional Programming", year = "1999", - month = mar, URL = "http://www.informatik.uni-freiburg.de/~thiemann/papers/clapf99.ps.gz", } @@ -12245,7 +11570,6 @@ title = "Subtype inequalities", pages = "308--317", booktitle = lics, - month = jun, year = "1992", } @@ -12267,7 +11591,6 @@ Subtyping", pages = "686--701", year = "1993", - month = apr, booktitle = tapsoft, series = lncs, volume = "668", @@ -12292,7 +11615,6 @@ volume = "17", number = "3", pages = "245--265", - month = sep, URL = "http://www.itu.dk/people/birkedal/papers/regmmp.ps.gz", } @@ -12301,7 +11623,6 @@ title = "Implementation of the Typed Call-by-Value $\lambda$-Calculus using a Stack of Regions", booktitle = popl, - month = jan, year = "1994", pages = "188--201", URL = "http://www.irisa.fr/prive/talpin/papers/popl94.pdf", @@ -12324,7 +11645,6 @@ using Algebraic Types", booktitle = tic, year = "1997", - month = jun, URL = "http://www.cs.pdx.edu/~apt/tic97.ps", } @@ -12337,7 +11657,6 @@ volume = "8", number = "4", pages = "367--412", - month = jul, URL = "http://dx.doi.org/10.1017/S0956796898003086", } @@ -12345,7 +11664,6 @@ author = "Jesse A. Tov and Riccardo Pucella", title = "Stateful Contracts for Affine Types", booktitle = esop, - month = mar, year = "2010", pages = "550--569", publisher = springer, @@ -12359,7 +11677,6 @@ title = "Practical Affine Types", booktitle = popl, year = "2011", - month = jan, pages = "447--458", URL = "http://www.eecs.harvard.edu/~tov/pubs/alms/", } @@ -12372,7 +11689,6 @@ volume = "1145", pages = "349--365", year = "1996", - month = sep, publisher = springer, URL = "http://flint.cs.yale.edu/trifonov/papers/subcon.pdf", } @@ -12381,7 +11697,6 @@ author = "Matthew S. Tschantz and Michael D. Ernst", title = "Javari: adding reference immutability to {Java}", booktitle = oopsla, - month = oct, year = "2005", pages = "211--230", URL = "https://homes.cs.washington.edu/~mernst/pubs/ref-immutability-oopsla2005.pdf", @@ -12392,7 +11707,6 @@ title = "Run-time Principals in Information-flow Type Systems", booktitle = sp, year = "2004", - month = may, URL = "http://www.cis.upenn.edu/~stevez/papers/TZ04a.pdf", } @@ -12412,7 +11726,6 @@ author = "Thomas Tuerk", title = "Local reasoning about while-loops", year = "2010", - month = aug, note = "Unpublished", URL = "http://www.cl.cam.ac.uk/~tt291/talks/vstte10.pdf", } @@ -12434,7 +11747,6 @@ booktitle = fpca, publisher = acmp, pages = "1--11", - month = jun, URL = "ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Philip_Wadler/once.dvi", } @@ -12443,7 +11755,6 @@ title = "Unifying refinement and {Hoare}-style reasoning in a logic for higher-order concurrency", booktitle = icfp, - month = sep, year = "2013", pages = "377--390", URL = "http://www.mpi-sws.org/~turon/caresl/caresl.pdf", @@ -12454,7 +11765,6 @@ title = "Binders unbound", booktitle = icfp, pages = "333--345", - month = sep, year = "2011", URL = "http://www.seas.upenn.edu/~sweirich/papers/icfp11.pdf", } @@ -12484,7 +11794,6 @@ author = "Christian Urban and Tobias Nipkow", title = "Nominal Verification of Algorithm {W}", year = "2008", - month = mar, note = "Unpublished", URL = "http://www4.in.tum.de/~urbanc/Publications/w-07.pdf", } @@ -12493,7 +11802,6 @@ author = "Christian Urban and Christine Tasson", title = "Nominal Techniques in {Isabelle/HOL}", booktitle = cade, - month = jul, year = "2005", series = lncs, publisher = springer, @@ -12518,7 +11826,6 @@ title = "Checking Heap-Manipulating Procedures with a Constraint Solver", booktitle = tacas, - month = apr, year = "2003", publisher = springer, series = lncs, @@ -12531,7 +11838,6 @@ title = "A Machine-Checked Proof of the Average-Case Complexity of {Quicksort} in {Coq}", booktitle = types, - month = mar, year = "2008", pages = "256--271", publisher = springer, @@ -12563,7 +11869,6 @@ year = "1994", volume = "827", series = lncs, - month = jul, publisher = springer, URL = "http://dx.doi.org/10.1007/BFb0013987", } @@ -12587,7 +11892,6 @@ Universiteit Leuven", year = "2008", number = "CW-520", - month = aug, URL = "http://people.cs.kuleuven.be/~bart.jacobs/verifast/verifast.pdf", } @@ -12595,7 +11899,6 @@ author = "Jules Villard and Étienne Lozes and Cristiano Calcagno", booktitle = aplas, - month = dec, pages = "194--209", publisher = springer, series = lncs, @@ -12609,7 +11912,6 @@ author = "Jules Villard and Étienne Lozes and Cristiano Calcagno", booktitle = tacas, - month = mar, pages = "275--279", publisher = springer, series = lncs, @@ -12627,7 +11929,6 @@ volume = "32", number = "1", pages = "117--119", - month = jan, year = "1997", } @@ -12637,7 +11938,6 @@ journal = lncs, volume = "1214", pages = "607--621", - month = apr, year = "1997", URL = "http://www.cs.nps.navy.mil/people/faculty/volpano/papers/tapsoft97.ps.Z", } @@ -12648,7 +11948,6 @@ title = "Eliminating Covert Flows with Minimum Typings", booktitle = csfw, pages = "156--168", - month = jun, URL = "http://www.cs.nps.navy.mil/people/faculty/volpano/papers/csfw97.ps.Z", } @@ -12681,7 +11980,6 @@ title = "Semantic types: a fresh look at the ideal model for types", booktitle = popl, - month = jan, year = "2004", pages = "52--63", URL = "http://www.pps.jussieu.fr/~vouillon/publi/cbv.ps.gz", @@ -12715,7 +12013,6 @@ title = "Boxy types: type inference for higher-rank types and impredicativity", note = "Manuscript", - month = apr, year = "2005", URL = "http://research.microsoft.com/Users/simonpj/papers/boxy/", } @@ -12738,7 +12035,6 @@ title = "Dependent Types: Easy as {PIE}", booktitle = tfp, year = "2007", - month = apr, URL = "http://www.seas.upenn.edu/~sweirich/papers/tfp07.pdf", } @@ -12749,7 +12045,6 @@ publisher = springer, series = lncs, volume = "201", - month = sep, year = "1985", pages = "113--128", URL = "http://dx.doi.org/10.1007/3-540-15975-4_33", @@ -12760,7 +12055,6 @@ title = "How to make ad-hoc polymorphism less ad-hoc", pages = "60--76", booktitle = popl, - month = jan, year = "1989", URL = "http://homepages.inf.ed.ac.uk/wadler/papers/class/class.ps.gz", } @@ -12789,7 +12083,6 @@ author = "Philip Wadler", title = "Theorems for free!", booktitle = fpca, - month = sep, year = "1989", pages = "347--359", URL = "http://homepages.inf.ed.ac.uk/wadler/papers/free/free.ps.gz", @@ -12803,7 +12096,6 @@ volume = "375", number = "1--3", pages = "201--226", - month = may, URL = "http://homepages.inf.ed.ac.uk/wadler/papers/gr2/gr2.pdf", } @@ -12814,7 +12106,6 @@ publisher = "North Holland", year = "1990", editor = "M. Broy and C. Jones", - month = apr, URL = "http://homepages.inf.ed.ac.uk/wadler/papers/linear/linear.ps", } @@ -12825,7 +12116,6 @@ volume = "4", number = "1", pages = "1--32", - month = jan, year = "2003", URL = "http://homepages.inf.ed.ac.uk/wadler/papers/effectstocl/effectstocl.ps.gz", } @@ -12834,7 +12124,6 @@ author = "David Walker", title = "A Type System for Expressive Security Policies", booktitle = popl, - month = jan, year = "2000", pages = "254--267", URL = "http://www.cs.cornell.edu/home/walker/papers/sa-popl00_ps.gz", @@ -12866,7 +12155,6 @@ author = "Dan S. Wallach", title = "A New Approach to Mobile Code Security", school = "Princeton University", - month = jan, year = "1999", URL = "http://www.cs.princeton.edu/sip/pub/dwallach-dissertation.html", } @@ -12878,7 +12166,6 @@ Systems", journal = "ACM Transactions on Software Engineering and Methodology", - month = oct, year = "2000", volume = "9", number = "4", @@ -12890,7 +12177,6 @@ author = "Dan S. Wallach and Edward Felten", title = "Understanding {Java} Stack Inspection", booktitle = sp, - month = may, year = "1998", URL = "http://www.cs.princeton.edu/sip/pub/oakland98.php3", } @@ -12910,7 +12196,6 @@ author = "Mitchell Wand", title = "Embedding type structure in semantics", booktitle = popl, - month = jan, year = "1985", pages = "1--6", URL = "http://doi.acm.org/10.1145/318593.318602", @@ -12922,7 +12207,6 @@ booktitle = popl, pages = "38--43", year = "1986", - month = jan, URL = "http://doi.acm.org/10.1145/512644.512648", } @@ -12940,7 +12224,6 @@ author = "Mitchell Wand", title = "Type Inference for Record Concatenation and Multiple Inheritance", - month = jul, year = "1991", volume = "93", number = "1", @@ -12965,7 +12248,6 @@ author = "Mitchell Wand and Paul A. Steckler", title = "Selective and lightweight closure conversion", booktitle = popl, - month = jan, year = "1994", pages = "435--445", URL = "http://doi.acm.org/10.1145/174675.178044", @@ -12981,7 +12263,6 @@ volume = "22", number = "9", pages = "665--686", - month = sep, URL = "http://www.cse.dmu.ac.uk/~mward/martin/papers/sw-alg-t.pdf", } @@ -13001,7 +12282,6 @@ Millstein", title = "Packrat parsers can support left recursion", booktitle = pepm, - month = jan, year = "2008", pages = "103--110", URL = "http://www.cs.ucla.edu/~todd/research/pepm08.pdf", @@ -13024,7 +12304,6 @@ title = "Type-Safe Cast: Functional Pearl", booktitle = icfp, year = "2000", - month = sep, pages = "58--67", URL = "http://www.cis.upenn.edu/~sweirich/papers/cast/cast.pdf", } @@ -13037,7 +12316,6 @@ volume = "16", number = "10", pages = "681--710", - month = nov, URL = "http://www.seas.upenn.edu/~sweirich/papers/erasure/erasure-jfp.pdf", } @@ -13046,7 +12324,6 @@ title = "A typechecker that produces a typed term from an untyped source", howpublished = "Part of the Glasgow Haskell compiler's test suite", - month = sep, year = "2004", URL = "http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/testsuite/tests/ghc-regress/gadt/tc.hs?rev=1.1", } @@ -13069,7 +12346,6 @@ Relation", institution = "Computer Science Department, Boston University", year = "1995", - month = dec, URL = "http://www.cs.bu.edu/ftp/pub/jbw/types/subtyping-undecidable.ps.gz", type = "Technical Report", number = "95-019", @@ -13109,7 +12385,6 @@ title = "Higher-Order Encodings with Constructors", school = "Washington University", year = "2008", - month = dec, URL = "http://www.cs.rice.edu/~emw4/thesis-westbrook.pdf", } @@ -13120,7 +12395,6 @@ institution = "LRI, Université Paris Sud", type = "Research Report", number = "1366", - month = mar, year = "2003", URL = "http://www.lri.fr/~filliatr/ftp/publis/why-tool.ps.gz", } @@ -13130,7 +12404,6 @@ title = "The {Why}/{Kra\-ka\-toa}/{Ca\-du\-ceus} Platform for Deductive Program Verification", booktitle = cav, - month = jul, year = "2007", pages = "173--177", volume = "4590", @@ -13147,7 +12420,6 @@ volume = "7", number = "6", pages = "347--348", - month = jun, URL = "http://doi.acm.org/10.1145/512274.512284", } @@ -13158,7 +12430,6 @@ {LP}", booktitle = "First International Workshop on Larch", year = "1992", - month = jul, URL = "http://reports-archive.adm.cs.cmu.edu/anon/usr0/ftp/home/ftp/1992/CMU-CS-92-135.ps", pages = "297--312", } @@ -13167,7 +12438,6 @@ author = "Ryan Wisnesky and Gregory Malecha and Greg Morrisett", title = "Certified Web Services in {Ynot}", booktitle = wwv, - month = jul, year = "2009", URL = "http://wisnesky.net/wwv09.pdf", } @@ -13177,7 +12447,6 @@ Jonathan Aldrich", title = "Gradual typestate", booktitle = ecoop, - month = jul, year = "2011", pages = "459--483", publisher = springer, @@ -13194,7 +12463,6 @@ pages = "319--328", volume = "48", publisher = "{AFIPS} Press", - month = jun, } @Article{wright-cartwright-97, @@ -13204,7 +12472,6 @@ volume = "19", number = "1", pages = "87--152", - month = jan, year = "1997", URL = "http://doi.acm.org/10.1145/239912.239917", } @@ -13214,7 +12481,6 @@ author = "Andrew K. Wright and Matthias Felleisen", pages = "38--94", journal = ic, - month = nov, year = "1994", volume = "115", number = "1", @@ -13227,7 +12493,6 @@ title = "Polymorphism for Imperative Languages without Imperative Types", year = "1993", - month = feb, number = "93-200", } @@ -13238,7 +12503,6 @@ volume = "8", number = "4", year = "1995", - month = dec, pages = "343--356", URL = "http://www.cs.rice.edu/CS/PLT/Publications/Scheme/lasc95-w.ps.gz", } @@ -13252,7 +12516,6 @@ year = "1999", volume = "1799", series = lncs, - month = sep, publisher = springer, URL = "http://www.research.microsoft.com/~simonpj/Papers/aspects.ps.gz", } @@ -13262,14 +12525,12 @@ title = "Dependent Types in Practical Programming", school = "Carnegie Mellon University", year = "1998", - month = dec, URL = "http://www.cs.bu.edu/~hwxi/academic/papers/thesis.ps", } @InProceedings{xi-ats, author = "Hongwei Xi", title = "Applied Type System", - month = feb, year = "2004", booktitle = "{TYPES} 2003", publisher = springer, @@ -13284,7 +12545,6 @@ title = "Guarded Recursive Datatype Constructors", booktitle = popl, year = "2003", - month = jan, pages = "224--235", URL = "http://www.cs.bu.edu/fac/hwxi/academic/papers/popl03.ps", } @@ -13294,7 +12554,6 @@ title = "{CPS} Transform for {Dependent ML}", booktitle = wollic, year = "2001", - month = aug, URL = "http://www.cs.bu.edu/~hwxi/academic/papers/DMLcps.pdf", } @@ -13306,7 +12565,6 @@ year = "1999", volume = "1551", series = lncs, - month = jan, publisher = springer, URL = "http://www.cs.bu.edu/~hwxi/academic/papers/padl99.ps", } @@ -13346,7 +12604,6 @@ title = "Dependent Types in Practical Programming", booktitle = popl, year = "1999", - month = jan, pages = "214--227", URL = "http://www.ececs.uc.edu/~hwxi/academic/papers/popl99.ps", } @@ -13360,7 +12617,6 @@ series = lncs, volume = "3350", year = "2005", - month = jan, pages = "83--97", URL = "http://www.cs.bu.edu/~hwxi/academic/papers/padl05.pdf", } @@ -13370,7 +12626,6 @@ title = "Scalable error detection using {Boolean} satisfiability", booktitle = popl, - month = jan, year = "2005", pages = "351--363", URL = "http://glide.stanford.edu/saturn/papers/popl05.pdf", @@ -13391,7 +12646,6 @@ Claessen", title = "Static contract checking for {Haskell}", booktitle = popl, - month = jan, year = "2009", pages = "41--52", URL = "http://research.microsoft.com/en-us/um/people/simonpj/papers/verify/HaskellContract.ps", @@ -13402,7 +12656,6 @@ Cristiano Calcagno and Byron Cook and Dino Distefano and Peter W. O'Hearn", title = "Scalable Shape Analysis for Systems Code", - month = jul, year = "2008", pages = "385--398", booktitle = cav, @@ -13452,7 +12705,6 @@ booktitle = fossacs, publisher = springer, series = lncs, - month = apr, year = "2002", URL = "http://www.mcs.le.ac.uk/~nyoshida/paper/fossacs_ca_final.ps.gz", } @@ -13461,7 +12713,6 @@ author = "Nobuko Yoshida and Kohei Honda and Martin Berger", title = "Linearity and Bisimulation", institution = "University of Leicester", - month = dec, year = "2001", number = "MSC-2001/48", URL = "http://www.mcs.le.ac.uk/~nyoshida/paper/lb.ps.gz", @@ -13473,7 +12724,6 @@ Local State", booktitle = fossacs, pages = "361--377", - month = apr, year = "2007", volume = "4423", series = lncs, @@ -13487,7 +12737,6 @@ booktitle = esop, publisher = springer, series = lncs, - month = apr, year = "2001", URL = "http://www.cs.cornell.edu/zdance/lincont.ps", } @@ -13496,7 +12745,6 @@ author = "Steve Zdancewic and Andrew C. Myers", title = "Secure Information Flow via Linear Continuations", journal = "Higher Order and Symbolic Computation", - month = sep, year = "2002", volume = "15", number = "2--3", @@ -13512,7 +12760,6 @@ booktitle = oopsla, pages = "125--141", year = "1997", - month = oct, URL = "http://www.loria.fr/~colnet/publis/oopsla97.ps.gz", } @@ -13532,7 +12779,6 @@ title = "Indizierte Typen", school = "Universität Karlsruhe", year = "1998", - month = jul, URL = "http://www.christoph-zenger.de/papers/thesis.ps.gz", } @@ -13542,7 +12788,6 @@ institution = "Cornell University", year = "2004", number = "2004-1924", - month = jan, URL = "http://www.cs.cornell.edu/andru/papers/dynl-tr.pdf", } @@ -13555,7 +12800,6 @@ series = lncs, volume = "2895", year = "2003", - month = nov, pages = "89--104", URL = "http://www.cs.bu.edu/~hwxi/academic/papers/aplas03.pdf", } @@ -13564,7 +12808,6 @@ author = "Yoav Zibin and Yossi Gil", title = "Theory and Practice of Incremental Subtyping Tests and Message Dispatching", - month = dec, year = "2001", URL = "http://www.cs.technion.ac.il/~yogi/incremental-dispatching.ps.gz", } @@ -13577,7 +12820,6 @@ booktitle = oopsla, pages = "142--160", year = "2002", - month = nov, URL = "http://www.cs.technion.ac.il/~zyoav/publications/OOPSLA02-dispatching-TS.pdf", } @@ -13587,14 +12829,12 @@ Typed Languages", booktitle = popl, year = "2003", - month = jan, URL = "http://www.cs.technion.ac.il/~zyoav/publications/POPL03-dispatching-CT.pdf", } @TechReport{zwanenburg-97, author = "Jan Zwanenburg", title = "A Type System for Record Concatenation and Subtyping", - month = jul, year = "1997", institution = "Eindhoven University of Technology", URL = "http://www.cs.ru.nl/~janz/publications/type_check.ps", diff --git a/doc/local.bib b/doc/local.bib new file mode 100644 index 00000000..7905c6fe --- /dev/null +++ b/doc/local.bib @@ -0,0 +1,6 @@ +@Misc{compcert-github, + author = "Xavier Leroy", + title = "The {CompCert C} verified compiler", + year = "2014", + howpublished = "\url{https://github.com/AbsInt/CompCert}", +} diff --git a/doc/main.tex b/doc/main.tex index 92abf1b1..23a7cc82 100644 --- a/doc/main.tex +++ b/doc/main.tex @@ -4,6 +4,7 @@ \usepackage{amstext} \usepackage[T1]{fontenc} \usepackage[latin1]{inputenc} +\usepackage{moreverb} \usepackage{tikz} \usepackage{xspace} \usepackage{mymacros} @@ -2071,8 +2072,9 @@ named \verb+unambiguous+. % correspond bien à la fin du Stream. The parsers produced by \menhir's Coq back-end must be linked with a Coq -library, which can be found in the CompCert tree~\cite{compcert}, in the -\verb+cparser/validator+ subdirectory. Additionally, CompCert can be used as +library, which can be found in the CompCert tree~\cite{compcert,compcert-github}, in the +\href{https://github.com/AbsInt/CompCert/tree/master/cparser/validator} +{\texttt{cparser/validator}} subdirectory. Additionally, CompCert can be used as an example if one wishes to use \menhir to generate a formally verified parser as part of some other project. @@ -2089,6 +2091,7 @@ Extract Constant Int31.compare31 => "Camlcoq.Int31.compare". Extract Constant Int31.On => "0". Extract Constant Int31.In => "1". \end{comment} +% Peut-être en faire aussi un fichier de librairie? % --------------------------------------------------------------------------------------------------------------------- @@ -2291,7 +2294,7 @@ Coq proofs that come with it. % Bibliography. \bibliographystyle{plain} -\bibliography{english} +\bibliography{english,local} \end{document} -- GitLab