Commit f3012a0e authored by POTTIER Francois's avatar POTTIER Francois

Biblio.

parent bc45d116
......@@ -188,7 +188,8 @@
@String{jar = "Journal of Automated Reasoning"}
@String{jfla = "Journées Françaises des Langages Applicatifs (JFLA)"}
@String{jfla = "Journées Françaises des Langages Applicatifs
(JFLA)"}
@String{jfp = "Journal of Functional Programming"}
......@@ -960,6 +961,15 @@
URL = "https://infoscience.epfl.ch/record/215280/files/paper_1.pdf",
}
@InProceedings{amin-rompf-17,
author = "Nada Amin and Tiark Rompf",
title = "Type Soundness Proofs with Definitional Interpreters",
booktitle = popl,
year = "2017",
pages = "666--679",
URL = "http://lampwww.epfl.ch/~amin/pub/big-step.pdf",
}
@Article{andersen-94,
author = "Henrik Reif Andersen",
title = "Model checking and {Boolean} graphs",
......@@ -1161,8 +1171,8 @@
}
@Misc{astree,
author = "Patrick Cousot and Radhia Cousot and Jérôme Feret and
Antoine Miné and Xavier Rival",
author = "Patrick Cousot and Radhia Cousot and Jérôme Feret
and Antoine Miné and Xavier Rival",
title = "The {Astrée} Static Analyzer",
year = "2011",
note = "\url{http://www.astree.ens.fr/}",
......@@ -1697,8 +1707,8 @@
}
@InProceedings{besson-al-02,
author = "Frédéric Besson and Thomas {de Grenier de Latour} and
Thomas Jensen",
author = "Frédéric Besson and Thomas {de Grenier de Latour}
and Thomas Jensen",
title = "Secure Calling Contexts for Stack Inspection",
pages = "76--87",
booktitle = ppdp,
......@@ -1719,7 +1729,8 @@
}
@InProceedings{bhargavan-fournet-gordon-10,
author = "Karthik Bhargavan and Cédric Fournet and Andy Gordon",
author = "Karthik Bhargavan and Cédric Fournet and Andy
Gordon",
title = "Modular Verification of Security Protocol Code by
Typing",
booktitle = popl,
......@@ -2171,8 +2182,8 @@
title = "On the integration of functional programming,
class-based object-oriented programming, and
multi-methods",
institution = "Centre de Mathématiques Appliquées, Ecole des Mines de
Paris",
institution = "Centre de Mathématiques Appliquées, Ecole des Mines
de Paris",
year = "1996",
type = "Research Report",
number = "26",
......@@ -2793,8 +2804,8 @@
}
@InProceedings{carlier-04,
author = "Sébastien Carlier and Jeff Polakow and J. B. Wells and
A. J. Kfoury",
author = "Sébastien Carlier and Jeff Polakow and J. B. Wells
and A. J. Kfoury",
title = "{System E}: Expansion variables for flexible typing
with linear and non-linear types and intersection
types",
......@@ -2892,6 +2903,16 @@
year = "2016",
}
@InProceedings{chakravarty-associated-05,
author = "Manuel M. T. Chakravarty and Gabriele Keller and Simon
L. {Peyton Jones} and Simon Marlow",
title = "Associated types with class",
booktitle = popl,
pages = "1--13",
year = "2005",
URL = "https://research.microsoft.com/en-us/um/people/simonpj/papers/assoc-types/assoc.pdf",
}
@TechReport{chambers-leavens-96,
author = "Craig Chambers and Gary T. Leavens",
title = "{BeCecil}, a Core Object-Oriented Language with Block
......@@ -4395,7 +4416,8 @@
}
@TechReport{dowek-al-95,
author = "Gilles Dowek and Thérèse Hardin and Claude Kirchner",
author = "Gilles Dowek and Thérèse Hardin and Claude
Kirchner",
title = "Higher Order Unification via Explicit Substitutions",
institution = "INRIA",
number = "2709",
......@@ -4672,8 +4694,8 @@
}
@InProceedings{faehndrich-cycles-98,
author = "Manuel Fähndrich and Jeffrey S. Foster and Zhendong Su
and Alexander S. Aiken",
author = "Manuel Fähndrich and Jeffrey S. Foster and Zhendong
Su and Alexander S. Aiken",
title = "Partial Online Cycle Elimination in Inclusion
Constraint Graphs",
booktitle = pldi,
......@@ -9366,8 +9388,8 @@
}
@Article{mueller-holcf-99,
author = "Olaf Müller and Tobias Nipkow and David von Oheimb and
Oskar Slotosch",
author = "Olaf Müller and Tobias Nipkow and David von Oheimb
and Oskar Slotosch",
title = "{HOLCF = HOL + LCF}",
journal = jfp,
volume = "9",
......@@ -10819,6 +10841,16 @@
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-conchon-icfp00.ps.gz",
}
@InProceedings{pottier-cpp-17,
author = "François Pottier",
title = "Verifying a hash table and its iterators in
higher-order separation logic",
booktitle = cpp,
year = "2017",
pages = "3--16",
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-hashtable.pdf",
}
@InProceedings{pottier-csfw-02,
author = "François Pottier",
title = "A Simple View of Type-Secure Information Flow in the
......@@ -10970,7 +11002,8 @@
@Misc{pottier-notes-dea,
author = "Xavier Leroy and François Pottier",
title = "Notes du cours de {DEA} «~Typage et programmation~»",
title = "Notes du cours de {DEA} «~Typage et
programmation~»",
year = "2002",
URL = "http://gallium.inria.fr/~fpottier/dea/dea-typage.ps.gz",
}
......@@ -11819,6 +11852,18 @@
URL = "https://people.mpi-sws.org/~rossberg/papers/Rossberg%20-%201ML%20--%20Core%20and%20modules%20united.pdf",
}
@Article{rossberg-russo-dreyer-14,
author = "Andreas Rossberg and Claudio V. Russo and Derek
Dreyer",
title = "{F}-ing modules",
journal = jfp,
volume = "24",
number = "5",
pages = "529--607",
year = "2014",
URL = "https://people.mpi-sws.org/~rossberg/papers/Rossberg,%20Russo,%20Dreyer%20-%20F-ing%20Modules%20[JFP].pdf",
}
@Article{runciman-toyn-91,
author = "Colin Runciman and Ian Toyn",
title = "Retrieving re-usable software components by
......@@ -11975,7 +12020,16 @@
URL = "ftp://ftp.dcs.glasgow.ac.uk/pub/glasgow-fp/authors/Patrick_Sansom/1993_profiling-compiler_GLASGOWFP.ps.gz",
}
@InProceedings{scala,
@Book{scala,
author = "Martin Odersky and Lex Spoon and Bill Venners",
title = "Programming in {Scala}, Third Edition: {A}
Comprehensive Step-by-step Guide",
year = "2016",
publisher = "Artima Incorporation",
URL = "http://www.artima.com/shop/programming_in_scala_3ed",
}
@InProceedings{scala-05,
author = "Martin Odersky and Matthias Zenger",
title = "Scalable Component Abstractions",
booktitle = oopsla,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment