Commit be26de63 authored by POTTIER Francois's avatar POTTIER Francois

Bib.

parent 01ed22ff
......@@ -13503,7 +13503,7 @@
URL = "http://www.mpi-sws.org/~turon/caresl/caresl.pdf",
}
@InProceedings{unbound-11,
@InProceedings{weirich-yorgey-sheard-11,
author = "Stephanie Weirich and Brent A. Yorgey and Tim Sheard",
title = "Binders unbound",
booktitle = icfp,
......@@ -13679,12 +13679,12 @@
year = "2010",
}
@Misc{visitors,
author = "François Pottier",
title = "Visitors",
year = "2017",
URL = "http://gallium.inria.fr/~fpottier/visitors/manual.pdf",
}
@Comment Misc{visitors,
@Comment author = "François Pottier",
@Comment title = "Visitors",
@Comment year = "2017",
@Comment URL = "http://gallium.inria.fr/~fpottier/visitors/manual.pdf",
@Comment }
@Article{vitek-bokowski-01,
author = "Jan Vitek and Boris Bokowski",
......
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