Dimitrios Vytiniotis Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén: HALO: haskell to logic through denotational semantics. POPL 2013: 431-442
2012
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew J. Kennedy, Dimitrios Vytiniotis: Every bit counts: The binary representation of typed data and programs. J. Funct. Program. 22(4-5): 529-573 (2012)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães: Equality proofs and deferred type errors: a compiler pearl. ICFP 2012: 341-352
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt: Stop When You Are Almost-Full - Adventures in Constructive Termination. ITP 2012: 250-265
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães: Giving Haskell a promotion. TLDI 2012: 53-66
2011
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann: OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21(4-5): 333-412 (2011)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis: Termination combinators forever. Haskell 2011: 23-34
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic: Generative type abstraction and type-level computation. POPL 2011: 227-240
2010
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Stephanie Weirich: Parametricity, type equality, and higher-order polymorphism. J. Funct. Program. 20(2): 175-210 (2010)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Andrew J. Kennedy: Functional pearl: every bit counts. ICFP 2010: 15-26
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers: Let should not be generalized. TLDI 2010: 39-50
2009
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis: Complete and decidable type inference for GADTs. ICFP 2009: 341-352
2008
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: FPH: first-class polymorphism for Haskell. ICFP 2008: 295-306
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Stephanie Weirich: Free Theorems and Runtime Type Representations. Electr. Notes Theor. Comput. Sci. 173: 357-373 (2007)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields: Practical type inference for arbitrary-rank types. J. Funct. Program. 17(1): 1-82 (2007)
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Nathan Foster, Dimitrios Vytiniotis: A Theory of Featherweight Java in Isabelle/HOL. Archive of Formal Proofs 2006 (2006)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn: Simple unification-based type inference for GADTs. ICFP 2006: 50-61
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones: Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich: An open and shut typecase. TLDI 2005: 13-24
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic: Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs 2005: 50-65

Coauthor Index

1Brian E. Aydemir
[c1]
2Aaron Bohannon
[c1]
3Max Bolingbroke (Maximilian C. Bolingbroke)
[c10]
4Koen Claessen
[c14]
5Thierry Coquand
[c12]
6Julien Cretin
[c11]
7Matthew Fairbairn
[c1]
8Nate Foster (J. Nathan Foster)
[j1] [c1]
9Simon L. Peyton Jones
[c14] [c13] [c11] [j5] [c10] [c9] [c7] [c6] [c5] [j2] [c4] [c3]
10Andrew J. Kennedy
[j6] [c8]
11José Pedro Magalhães
[c13] [c11]
12Benjamin C. Pierce
[c1]
13Dan Rosén
[c14]
14Tom Schrijvers
[j5] [c7] [c6]
15Peter Sewell
[c1]
16Mark Shields
[j2]
17Martin Sulzmann
[j5] [c6]
18David Wahlstedt
[c12]
19Geoffrey Washburn
[c4] [c2] [c1]
20Stephanie Weirich
[c11] [c9] [j4] [c5] [j3] [j2] [c4] [c3] [c2] [c1]
21Brent A. Yorgey
[c11]
22Steve Zdancewic
[c9] [c1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 05:21:48 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page