-
1
Ghostbuster: A tool for simplifying and converting GADTs
Veröffentlicht in Journal of functional programming
VolltextArtikel -
2
-
3
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?
Veröffentlicht in arXiv.org
VolltextArtikel -
4
-
5
Ghostbuster: a tool for simplifying and converting GADTs
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
6
Cell cycle-dependent regulation of yeast telomerase by Ku
Veröffentlicht in Nature structural & molecular biology
VolltextArtikel -
7
Richard John Neuhaus: May 14, 1936-January 8, 2009
Veröffentlicht in First things (New York, N.Y.)
VolltextArtikel