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.