Commit 5011bc06 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

yet another final version

parent 1d014a41
......@@ -278,12 +278,9 @@ series = {POPL ’12}
author = {Ambrose Bonnaire{-}Sergeant and
Rowan Davies and
Sam Tobin{-}Hochstadt},
editor = {Peter Thiemann},
title = {Practical Optional Types for Clojure},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
{ESOP} 2016},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {68--94},
......@@ -336,11 +333,10 @@ abstract = "The notion of parallel reduction is extracted from the Tait-Martin-L
}
@book{Bar84,
author = {H. P. Barendregt},
author = {Hendrik P. Barendregt},
title = {The Lambda Calculus Its Syntax and Semantics},
publisher = {North Holland},
year = {1984},
volume = {103},
edition = {Revised},
note = {http://www.cs.ru.nl/~henk/Personal Webpage}
}
\ No newline at end of file
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