dimitriv-bib.bib

@INPROCEEDINGS{spj+:gadt,
  AUTHOR = {Simon {Peyton~Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
  TITLE = {Simple unification-based type inference for {GADTs}},
  BOOKTITLE = {ICFP '06: Proceedings of the Eleventh ACM SIGPLAN 
                     International Conference on Functional Programming},
  YEAR = {2006},
  ISBN = {1-59593-309-3},
  PAGES = {50--61},
  LOCATION = {Portland, Oregon, USA},
  DOI = {http://doi.acm.org/10.1145/1159803.1159811},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA},
  CATTYPE = {paper},
  PDF = {http://www.cis.upenn.edu/~dimitriv/wobbly/gadt.pdf}
}

@INPROCEEDINGS{vytiniotis+:boxy,
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich and Simon {Peyton~Jones}},
  TITLE = {Boxy types: inference for higher-rank types and impredicativity},
  BOOKTITLE = {ICFP '06: Proceedings of the Eleventh ACM SIGPLAN 
                     International Conference on Functional Programming},
  YEAR = {2006},
  ISBN = {1-59593-309-3},
  PAGES = {251--262},
  LOCATION = {Portland, Oregon, USA},
  DOI = {http://doi.acm.org/10.1145/1160074.1159838},
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY, USA},
  CATTYPE = {paper},
  PDF = {http://www.cis.upenn.edu/~dimitriv/boxy/boxy.pdf}
}

@INPROCEEDINGS{aydemir05mechanized,
  AUTHOR = {B. Aydemir and A. Bohannon and M. Fairbairn and J. Foster and B. Pierce
    and P. Sewell and D. Vytiniotis and G. Washburn and S. Weirich and S. Zdancewic},
  TITLE = {Mechanized metatheory for the masses: The {POPLmark} Challenge},
  BOOKTITLE = {Proceedings of the Eighteenth International Conference on Theorem Proving
    in Higher Order Logics (TPHOLs 2005)},
  YEAR = {2005},
  URL = {http://alliance.seas.upenn.edu/~plclub/cgi-bin/poplmark/},
  CATTYPE = {paper}
}

@ARTICLE{pj-shields:arbitrary-rank,
  AUTHOR = {Simon {Peyton~Jones} and Dimitrios Vytiniotis and Stephanie Weirich and Mark Shields},
  TITLE = {Practical type inference for arbitrary-rank types},
  JOURNAL = {J. Funct. Program.},
  VOLUME = {17},
  NUMBER = {1},
  YEAR = {2007},
  ISSN = {0956-7968},
  PAGES = {1--82},
  DOI = {http://dx.doi.org/10.1017/S0956796806006034},
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {New York, NY, USA},
  CATTYPE = {paper},
  URL = {http://research.microsoft.com/~simonpj/papers/higher-rank/}
}

@INCOLLECTION{Foster-Vytiniotis-AFP05,
  AUTHOR = {Nate Foster and Dimitrios Vytiniotis},
  TITLE = {A {Theory} of {Featherweight Java} in {Isabelle/HOL}},
  BOOKTITLE = {The Archive of Formal Proofs},
  EDITOR = {Gerwin Klein and Tobias Nipkow and Lawrence Paulson},
  PUBLISHER = {http://afp.sourceforge.net/entries/FeatherweightJava.shtml},
  MONTH = MAR,
  YEAR = 2006,
  NOTE = {Formal proof development},
  CATTYPE = {other}
}

@INPROCEEDINGS{Vyt+Was+Wei:TLDI-2005,
  AUTHOR = { Dimitrios Vytiniotis and Geoffrey Washburn and Stephanie Weirich },
  TITLE = { An Open and Shut Typecase },
  BOOKTITLE = { The Second {ACM SIGPLAN} Workshop on Types in Language Design and Implementation },
  YEAR = 2005,
  MONTH = JAN,
  ADDRESS = {Long Beach, California},
  PAGES = {13--24},
  ORGANIZATION = {ACM SIGPLAN},
  CATTYPE = {paper},
  PS = {http://www.cis.upenn.edu/~dimitriv/itaname/itaname.ps}
}

@INPROCEEDINGS{vytiniotis:rtheorems,
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich},
  TITLE = {Free Theorems and Runtime Type Representations},
  BOOKTITLE = {Proceedings of the 23rd Annual Conference on Mathematical Foundations of Programming Semantics ({MFPS~XXIII})},
  PAGES = {357--373},
  YEAR = 2007,
  EDITOR = {M. Fiore and M. Mislove},
  VOLUME = 173,
  SERIES = {Electronic Notes in Theoretical Computer Science},
  CATTYPE = {paper},
  PDF = {http://www.cis.upenn.edu/~dimitriv/parametricity/rtheorems07.pdf}
}

@TECHREPORT{pjdvswms:technical-appendix,
  TOPIC = {language design},
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich and Simon {Peyton~Jones}},
  TITLE = {Practical type inference for arbitrary-rank types, {Technical Appendix} },
  INSTITUTION = {University of Pennsylvania},
  YEAR = 2005,
  NUMBER = {MS-CIS-05-14},
  MONTH = {July},
  PDF = {http://www.cis.upenn.edu/~dimitriv/arbitrary-rank/MS-CIS-05-14.pdf},
  CATEGORY = {fcp},
  CATTYPE = {report}
}

@TECHREPORT{vytiniotis+:boxy-techreport,
  TOPIC = {language design},
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich and Simon {Peyton~Jones}},
  TITLE = {Boxy type inference for higher-rank types and impredicativity, {Technical Appendix}},
  INSTITUTION = {University of Pennsylvania},
  YEAR = 2006,
  NUMBER = {MS-CIS-05-23},
  MONTH = {April},
  PDF = {http://www.cis.upenn.edu/~dimitriv/boxy/boxy-techreport.pdf},
  CATEGORY = {fcp},
  CATTYPE = {report}
}

@TECHREPORT{vytiniotis+:gadt-techreport,
  TOPIC = {language design},
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich and Simon {Peyton~Jones}},
  TITLE = {Simple unification-based type inference for {GADTs}, {Technical Appendix}},
  INSTITUTION = {University of Pennsylvania},
  YEAR = 2006,
  NUMBER = {MS-CIS-05-22},
  MONTH = {April},
  PDF = {http://www.cis.upenn.edu/~dimitriv/wobbly/wobbly-techreport.pdf},
  CATEGORY = {gadt},
  CATTYPE = {report}
}

@TECHREPORT{vytiniotis+:itaname-techreport,
  TOPIC = {language design},
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich and Geoffrey Washburn},
  TITLE = {An Open and Shut Typecase},
  INSTITUTION = {University of Pennsylvania},
  YEAR = 2004,
  NUMBER = {MS-CIS-04-26},
  CATTYPE = {report},
  MONTH = {April},
  PS = {http://www.cis.upenn.edu/~dimitriv/itaname/itaname-extended.ps}
}

@INCOLLECTION{vytiniotis+:pie,
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich},
  TITLE = {Dependent Types: Easy as Pie},
  BOOKTITLE = {Draft Proceedings of the 8th Symposium on Trends in Functional Programming},
  EDITOR = {Marco T. Moraz{\'a}n and Henrik Nilsson},
  PUBLISHER = {Dept. of Math and Computer Science, Seton Hall University, TR-SHU-CS-2007-04-1},
  CATTYPE = {paper},
  MONTH = APR,
  YEAR = 2007,
  PDF = {http://www.cis.upenn.edu/~dimitriv/vytiniotis-tfp.pdf}
}

@UNPUBLISHED{vytiniotis:romega,
  AUTHOR = {Dimitrios Vytiniotis and Stephanie Weirich},
  TITLE = {Type-safe cast does no harm},
  YEAR = 2007,
  MON = JULY,
  CATTYPE = {draft},
  PDF = {http://www.cis.upenn.edu/~dimitriv/gparam.pdf}
}