GADT Paper Bib Entries

@inproceedings{sheard06,
author="T. Sheard",
title={{Type-Level Computation Using Narrowing in $\Omega$mega}},
booktitle="Programming Languages meets Program Verification",
journal = "Electronic Notes in Theoretical Computer Science"
volume = "1643"
year=2006,
city = "Seattle",
editors="A. Stump and H. Xi"}

@InProceedings{conf/gpce/PasalicL04,
  title =	"Meta-programming with Typed Object-Language
		 Representations",
  author =	"Emir Pasalic and Nathan Linger",
  bibdate =	"2004-11-15",
  booktitle =	"GPCE",
  booktitle =	"Generative Programming and Component Engineering:
		 Third International Conference, {GPCE} 2004, Vancouver,
		 Canada, October 24-28, 2004. Proceedings",
  publisher =	"Springer",
  year = 	"2004",
  volume =	"3286",
  editor =	"Gabor Karsai and Eelco Visser",
  ISBN = 	"3-540-23580-9",
  pages =	"136--167",
  series =	"Lecture Notes in Computer Science",
  URL =  	"http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=136",
}

@InProceedings{conf/fossacs/Mishra-LingerS08,
  title =       "Erasure and Polymorphism in Pure Type Systems",
  author =      "Nathan Mishra-Linger and Tim Sheard",
  bibdate =     "2008-04-21",
  bibsource =   "DBLP,
                 http://dblp.uni-trier.de/db/conf/fossacs/fossacs2008.html#Mishra-LingerS08",
  booktitle =   "FoSSaCS",
  booktitle =   "Foundations of Software Science and Computational
                 Structures, 11th International Conference, {FOSSACS}
                 2008, Held as Part of the Joint European Conferences on
                 Theory and Practice of Software, {ETAPS} 2008,
                 Budapest, Hungary, March 29 - April 6, 2008.
                 Proceedings",
  publisher =   "Springer",
  year =        "2008",
  volume =      "4962",
  editor =      "Roberto M. Amadio",
  ISBN =        "978-3-540-78497-5",
  pages =       "350--364",
  series =      "Lecture Notes in Computer Science",
  URL =         "http://dx.doi.org/10.1007/978-3-540-78499-9_25",
}

@InProceedings{conf/cefp/SheardL07,
  title =       "Programming in Omega",
  author =      "Tim Sheard and Nathan Linger",
  publisher =   "Springer",
  year =        "2007",
  volume =      "5161",
  bibdate =     "2008-10-23",
  bibsource =   "DBLP,
                 http://dblp.uni-trier.de/db/conf/cefp/cefp2007.html#SheardL07",
  booktitle =   "CEFP",
  crossref =    "conf/cefp/2007",
  editor =      "Zolt{\'a}n Horv{\'a}th and Rinus Plasmeijer and Anna
                 So{\'o}s and Vikt{\'o}ria Zs{\'o}k",
  ISBN =        "978-3-540-88058-5",
  pages =       "158--227",
  series =      "Lecture Notes in Computer Science",
  URL =         "http://dx.doi.org/10.1007/978-3-540-88059-2_5",
}

@InProceedings{GenSprSchoolSheard06,
  title =       "Generic Programming Programming in Omega",
  author =      "Tim Sheard",
  publisher =   "Springer",
  year =        "2006",
  volume =      "4719",
  booktitle =   "Datatype-Generic Programming",

  editor =      "Roland Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring",
  ISBN =        "978-3-540-76785-5",
  pages =       "258--284",
  series =      "Lecture Notes in Computer Science",
}

@InProceedings{HFLSheard07,
  title =       "Types and Hardware Description Languages",
  author =      "Tim Sheard",
  date =         "24-25 March"
  year =        "2007",
  volume =      "5161"
  city = "Braga, Portugal"
  booktitle =   "Hardware Design and Functional Languages, A satellite event of ETAPS",
  editor =      "Andrew Martin and Carl Seger and Mary Sheeran",
  note = "Available from:\\{\small {\tt http://www.cs.pdx.edu/\verb+~+sheard/ }}"
}

@InProceedings{Sheard04equality,
  author    = {Tim Sheard and Emir Pa\v{s}ali\'{c}},
  title     = {Meta-programming With Built-in Type Equality},
  booktitle = {Proceedings of the Fourth International Workshop on
                Logical Frameworks and Meta-Languages (LFM'04)},
  city = "Cork, Ireland",
  pages     = {106--124},
  month     = jul,
  year      = 2004,
  note      = {Available at \url{http://cs-www.cs.yale.edu/homes/carsten/lfm04/}},
}

@Article{Sheard04,
  author =	"Tim Sheard",
  title =	"Languages of the Future",
  journal =	"Onward Track, OOPSLA'04. Reprinted in: ACM SIG{\-}PLAN Notices, Dec. 2004.",
  crossref = {OOPSLA:04},
  pages    = {116--119},
  volume =	"39",
  year = 	"2004",
  note     = {OOPSLA Companion Volume},
}

@Misc{SecondLook,
   author = "Tim Sheard",
   title = "Another Look at Hardware Design Languages",
   month = "December",
   year = "2005",
   note = "Available from:\\{\small {\tt http://www.cs.pdx.edu/\verb+~+sheard/ }}"
   }
   

@techreport{GADT+Kind=Dep,
title = "{GADT}s + Extensible Kind System = Dependent Programming",
author = "Tim Sheard and James Hook and Nathan Linger",
institution = "Portland State University",
year = "2005",
note = {{\tt http://www.cs.pdx.edu/\verb+~+sheard}}
}

@techreport{Playing,
title = "Playing with Types",
author = "Tim Sheard",
institution = "Portland State University",
year = "2005",
note = {{\tt http://www.cs.pdx.edu/\verb+~+sheard}}
}

@InProceedings{CurryHoward,
title = "Putting Curry-Howard to Work",
author = "Tim Sheard",
booktitle = "Proceedings of the ACM SIGPLAN 2005 Haskell Workshop",
city = "Tallin, Estonia",
month = "September",
publisher = "ACM Press",
year = "2005"
}

Back to Tim Sheard's home page.