% dunfield.bib   generated 2009-10-13

@TechReport{ Dunfield02:CombiningTypeRefinements,
  author = {Joshua Dunfield},
  title = {Combining Two Forms of Type Refinements},
  institution = {Carnegie Mellon University},
  year = {2002},
  number = {CMU-CS-02-182},
  month = sep
}

@Misc{Dunfield04:thesis-proposal,
  author = "Joshua Dunfield",
  title = "Unifying principles of type refinements",
  howpublished = "PhD thesis proposal, Carnegie Mellon University",
  year = "2004"
}

@InProceedings{Dunfield04:Tridirectional,
  author =     {Joshua Dunfield and Frank Pfenning},
  title =      {Tridirectional Typechecking},
  booktitle =  {ACM Symp. Principles of Programming Languages (POPL '04)},
  pages =      {281--292},
  year =       2004,
  editor =     {Xavier Leroy},
  address =    {Venice, Italy},
  month =      jan
}

   @TechReport{ Dunfield04:TridirectionalTR,
      author =      {Joshua Dunfield and Frank Pfenning},
      title =       {Tridirectional Typechecking},
      institution = {Carnegie Mellon University},
      year =        {2004},
      number =      {CMU-CS-04-117},
      month =       mar,
      note =        {Extended version of \cite{Dunfield04:Tridirectional}}
    }


  @InProceedings{Dunfield03:IntersectionsUnionsCBV,
    author =    {Joshua Dunfield and Frank Pfenning},
    title =     {Type Assignment for Intersections and Unions in Call-by-Value Languages},
    booktitle = {Foundations of Software Science and Computation Structures (FOSSACS '03)},
    pages =     {250--266},
    year =      2003,
    editor =    {A.D. Gordon},
    address =   {Warsaw, Poland},
    month =     apr,
    publisher = {Springer-Verlag LNCS 2620}
  }

@InProceedings{Dunfield07:Stardust,
  author =     {Joshua Dunfield},
  title =      {Refined typechecking with {Stardust}},
  booktitle =  {Programming Languages meets Program Verification (PLPV '07)},
  month =      oct,
  year =       2007,
  editor =     {A. Stump and H. Xi},
  address =    {Freiburg, Germany}
}

@PhdThesis{DunfieldThesis,
  author =  {Joshua Dunfield},
  title =   {A Unified System of Type Refinements},
  school =  {Carnegie Mellon University},
  year =    {2007},
  month =   aug,
  note =    {CMU-CS-07-129}
}

  @InProceedings{Pientka08:DependentBeluga,
    author    = {Brigitte Pientka and Joshua Dunfield},
    title     = {Programming with proofs and explicit contexts},
    booktitle = {Principles and Practice of Declarative Programming (PPDP'08)},
    pages =     {163--173},
    month =     jul,
    year =      {2008},
    publisher = {ACM Press}
  }

@InProceedings{Dunfield08:coverage,
    author    = {Joshua Dunfield and Brigitte Pientka},
    title     = {Case analysis of higher-order data},
    booktitle = {Int'l Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'08)},
    OPTpages  = {},
    month     = jun,
    year      = {2008},
    OPTeditor = {},
    series    = {Electronic Notes in Theoretical Computer Science (ENTCS)},
    publisher = {Elsevier}
}

  @InProceedings{Dunfield09:polymorphism,
    author =    {Joshua Dunfield},
    title =     {Greedy Bidirectional Polymorphism},
    booktitle = {ML Workshop (ML '09)},
    pages =     {15--26},
    month =     aug,
    year =      2009,
    note =      {\url{http://www.cs.cmu.edu/~joshuad/papers/poly/}}
  }

  @Unpublished{Dunfield09:polymorphism-unionsDRAFT,
    author =    {Joshua Dunfield},
    title =     {Bidirectional Polymorphism Through Greed and Unions},
    month =     apr,
    year =      2009,
    note =      {\url{http://www.cs.cmu.edu/~joshuad/papers/polyunions/}}
  }