Commit 9652cd9a authored by POTTIER Francois's avatar POTTIER Francois

Biblio.

parent b1afa566
......@@ -1825,6 +1825,18 @@
URL = "ftp://ftp.kestrel.edu/pub/papers/meertens/nest5.ps",
}
@InProceedings{bird-meertens-98,
author = "Richard S. Bird and Lambert G. L. T. Meertens",
title = "Nested Datatypes",
booktitle = mpc,
pages = "52--67",
year = "1998",
publisher = springer,
series = lncs,
volume = "1422",
URL = "http://www.cs.ox.ac.uk/richard.bird/online/BirdMeertens98Nested.pdf",
}
@Article{bird-paterson-99,
title = "{de Bruijn} Notation as a Nested Datatype",
author = "Richard Bird and Ross Paterson",
......@@ -6607,6 +6619,16 @@
publisher = springer,
}
@InProceedings{hoffmann-das-weng-17,
author = "Jan Hoffmann and Ankush Das and Shu{-}Chun Weng",
title = "Towards automatic resource bound analysis for
{OCaml}",
booktitle = popl,
pages = "359--373",
year = "2017",
URL = "http://www.cs.cmu.edu/~janh/papers/HoffmannDW17.pdf",
}
@InProceedings{hoffmann-hofmann-10,
author = "Jan Hoffmann and Martin Hofmann",
title = "Amortized Resource Analysis with Polynomial
......@@ -8657,6 +8679,17 @@
URL = "http://eprints.eemcs.utwente.nl/1078/02/diss.pdf",
}
@InProceedings{madhavan-kulal-kuncak-17,
author = "Ravichandhran Madhavan and Sumith Kulal and Viktor
Kuncak",
title = "Contract-based resource verification for higher-order
functions with memoization",
booktitle = popl,
pages = "330--343",
year = "2017",
URL = "http://lara.epfl.ch/~kandhada/orb-popl17.pdf",
}
@InProceedings{maeda-11,
author = "Toshiyuki Maeda and Haruki Sato and Akinori Yonezawa",
title = "Extended Alias Type System using Separating
......@@ -8863,6 +8896,20 @@
URL = "http://strictlypositive.org/unify.ps.gz",
}
@InProceedings{mccarthy-16,
author = "Jay A. McCarthy and Burke Fetscher and Max S. New and
Daniel Feltey and Robert Bruce Findler",
title = "A {Coq} Library for Internal Verification of
Running-Times",
booktitle = flops,
pages = "144--162",
year = "2016",
series = lncs,
volume = "9613",
publisher = springer,
URL = "https://www.eecs.northwestern.edu/~robby/pubs/papers/flops2016-mfnff.pdf",
}
@InProceedings{mckinna-pollack-93,
author = "James McKinna and Randy Pollack",
title = "Pure Type Systems Formalized",
......
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