Tim Sheard - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Tim Sheard' as author, editor, or advisor:

Language-based verification will change the worldSheard, Tim , Stump, Aaron, Weirich, Stephanie. In Proceedings of the FSE/SDP workshop on Future of software engineering research. 2010: 343-348 [doi]
DSL implementation using staging and monadsSheard, Tim , Zine-El-Abidine Benaissa, Pasalic, Emir. In PLAN '99: Proceedings of the 2nd conference on Domain-specific languages. 1999: [doi]
Shared subtypes: subtyping recursive parametrized algebraic data typesKi Yung Ahn, Tim Sheard. haskell 2008: 75-86 [doi]
Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013Matthew Might, David Van Horn, Andreas Abel 0001, Tim Sheard, editors, ACM, 2013. [doi]
Template meta-programming for HaskellTim Sheard, Simon L. Peyton Jones. SIGPLAN, 37(12):60-75, 2002. [doi]
Leveling up dependent types: generic programming over a predicative hierarchy of universesLarry Diehl, Tim Sheard. ICFP 2013: 49-60 [doi]
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSLLarry Diehl, Tim Sheard. ICFP 2014: 3-14 [doi]
Binders unboundStephanie Weirich, Brent A. Yorgey, Tim Sheard. ICFP 2011: 333-345 [doi]
i Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts. tlca 2013: 15-30 [doi]
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrencesKi Yung Ahn, Tim Sheard. ICFP 2011: 234-246 [doi]
CyberPDX: A Camp for Broadening Participation in CybersecurityWu-chang Feng, Robert Liebman, Lois M. L. Delcambre, Michael Lupro, Tim Sheard, Scott Britell, Gerald Recktenwald. uss 2017: [doi]
Pointwise generalized algebraic data typesChuan-Kai Lin, Tim Sheard. tldi 2010: 51-62 [doi]
Generic lookup and update for infinitary inductive-recursive typesLarry Diehl, Tim Sheard. ICFP 2016: 1-12 [doi]
Red Fox: An Execution Environment for Relational Query Processing on GPUsHaicheng Wu, Gregory F. Diamos, Tim Sheard, Molham Aref, Sean Baxter, Michael Garland, Sudhakar Yalamanchili. CGO 2014: 44 [doi]
Generic Programming in ΩmegaTim Sheard. ssdgp 2007: 258-284 [doi]
Template meta-programming for HaskellTim Sheard, Simon Peyton Jones. haskell 2002: 1-16 [doi]
Language-based verification will change the worldTim Sheard, Aaron Stump, Stephanie Weirich. FSE 2010: 343-348 [doi]
Equational reasoning about programs with general recursion and call-by-value semanticsGarrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn. plpv 2012: 15-26 [doi]

runs on WebDSL