% dunfield.bib   generated 2013-04-23

@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
}

@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}
  }

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

@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/}}
  }

@InProceedings{Pientka10:Beluga,
    author    = {Brigitte Pientka and Joshua Dunfield},
    title     = {{Beluga}: A Framework for Programming and Reasoning with Deductive Systems (System Description)},
    booktitle = {Int'l Joint Conference on Automated Reasoning (IJCAR 2010)},
    pages     = {15--21},
    month     = jul,
    year      = {2010}
}

@InProceedings{Dunfield11:letnormal,
  author    =  {Joshua Dunfield},
  title     =  {Untangling Typechecking of Intersections and Unions},
  booktitle =  {Proceedings of the Workshop on Intersection
                Types and Related Systems (ITRS '10)},
  series    =  {EPTCS},
  volume    =  {45},
  year      =  {2011},
  pages     =  {59--70},
  note      =  {\url{arXiv:1101.4428 [cs.PL]}}
}

@Unpublished{Dunfield10:letnormal-preliminary,
  author    =  {Joshua Dunfield},
  title     =  {Untangling Typechecking of Intersections and Unions},
  booktitle =  {Preliminary proceedings of the Workshop on Intersection
                Types and Related Systems (ITRS '10)},
  month     =  jul,
  year      =  {2010},
  note      =  {\url{http://www.cs.cmu.edu/~joshuad/papers/letnormal}}
}

  @Unpublished{PientkaDunfield10:coverage,
    author =    {Brigitte Pientka and Joshua Dunfield},
    title =     {Covering All Bases: Design and implementation of case analysis for contextual objects},
    month =     oct,
    year =      {2010},
    note =      {\url{http://www.cs.cmu.edu/~joshuad/papers/case-hoas-2010/}}
  }

@InProceedings{Chen11:implicit,
  author =     {Yan Chen and Joshua Dunfield and Matthew A. Hammer and Umut A. Acar},
  title =      {Implicit Self-Adjusting Computation for Purely Functional Programs},
  booktitle =  {International Conference on Functional Programming},
  year =       {2011},
  month =      sep,
  pages =      {129--141}
}

  @InProceedings{Dunfield12:elaboration,
    author =    {Joshua Dunfield},
    title =     {Elaborating Intersection and Union Types},
    booktitle = {Int'l Conf. Functional Programming},
    month =     sep,
    year =      {2012},
    note =      {\url{arXiv:1206.5386 [cs.PL]}}
  }

@Unpublished{Dunfield12:annotation-preliminary,
  author    =  {Joshua Dunfield},
  title     =  {Annotations for Intersection Typechecking},
  month     =  jun,
  year      =  {2012},
  note      =  {\url{http://www.cs.cmu.edu/~joshuad/papers/sectanno}}
}

  @Unpublished{Dunfield13:bidirDRAFT,
    author =    {Joshua Dunfield and Neelakantan R. Krishnaswami},
    title =     {Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism},
    month =     mar,
    year =      {2013},
    note =      {\url{http://www.cs.cmu.edu/~joshuad/papers/bidir/}}
  }