Commit 0122dd28 authored by POTTIER Francois's avatar POTTIER Francois

Bib.

parent 56845d6d
......@@ -3107,6 +3107,7 @@
title = "Scrap your nameplate",
booktitle = icfp,
year = "2005",
pages = "180--191",
URL = "http://homepages.inf.ed.ac.uk/jcheney/publications/cheney05icfp.pdf",
}
......@@ -5597,6 +5598,19 @@
URL = "http://loris-7.ddns.comp.nus.edu.sg/~project/hip/publications/FM_2011_Case.pdf",
}
@InProceedings{gibbons-dgp-06,
author = "Jeremy Gibbons",
title = "Datatype-generic programming",
booktitle = "International Spring School on Datatype-Generic
Programming",
pages = "1--71",
year = "2006",
series = lncs,
publisher = springer,
volume = "4719",
URL = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf",
}
@TechReport{gifford-fx-87,
author = "David K. Gifford and Pierre Jouvelot and John M.
Lucassen and Mark A. Sheldon",
......@@ -13503,15 +13517,6 @@
URL = "http://www.mpi-sws.org/~turon/caresl/caresl.pdf",
}
@InProceedings{weirich-yorgey-sheard-11,
author = "Stephanie Weirich and Brent A. Yorgey and Tim Sheard",
title = "Binders unbound",
booktitle = icfp,
pages = "333--345",
year = "2011",
URL = "http://www.seas.upenn.edu/~sweirich/papers/icfp11.pdf",
}
@Misc{unicon,
title = "Unicon",
note = "\url{http://unicon.sourceforge.net/}",
......@@ -13679,13 +13684,6 @@
year = "2010",
}
@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",
title = "Confined types in {Java}",
......@@ -14106,6 +14104,15 @@
URL = "http://www.seas.upenn.edu/~sweirich/papers/erasure/erasure-jfp.pdf",
}
@InProceedings{weirich-replib-06,
author = "Stephanie Weirich",
title = "{RepLib}: a library for derivable type classes",
booktitle = hw,
pages = "1--12",
year = "2006",
URL = "http://www.seas.upenn.edu/~sweirich/RepLib/haskell08-weirich.pdf",
}
@Misc{weirich-tc-04,
author = "Stephanie Weirich",
title = "A typechecker that produces a typed term from an
......@@ -14115,6 +14122,15 @@
URL = "http://cvs.haskell.org/cgi-bin/cvsweb.cgi/fptools/testsuite/tests/ghc-regress/gadt/tc.hs?rev=1.1",
}
@InProceedings{weirich-yorgey-sheard-11,
author = "Stephanie Weirich and Brent A. Yorgey and Tim Sheard",
title = "Binders unbound",
booktitle = icfp,
pages = "333--345",
year = "2011",
URL = "http://www.seas.upenn.edu/~sweirich/papers/icfp11.pdf",
}
@InProceedings{wells-02,
author = "J. B. Wells",
title = "The Essence of Principal Typings",
......
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