Timothy E. Sheard
Affiliations: | Oregon Health and Science University, Portland, OR |
Area:
Computer ScienceGoogle:
"Timothy Sheard"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Kimmell G, Stump A, Eades HD, et al. (2013) Equational reasoning about programs with general recursion and call-by-value semantics Progress in Informatics. 19-46 |
| Sheard T, Pasalic E. (2008) Meta-programming With Built-in Type Equality Electronic Notes in Theoretical Computer Science. 199: 49-65 |
| Tucker PA, Maier D, Sheard T, et al. (2007) Using punctuation schemes to characterize strategies for querying over data streams Ieee Transactions On Knowledge and Data Engineering. 19: 1227-1240 |
| Sheard T. (2007) Type-level Computation Using Narrowing in Ωmega Electronic Notes in Theoretical Computer Science. 174: 105-128 |
| Sheard T. (2004) Languages of the future Sigplan Notices. 39: 119-132 |
| Sheard T, Pasalic E. (2004) Two-level types and parameterized modules Journal of Functional Programming. 14: 547-587 |
| Tucker PA, Maier D, Sheard T, et al. (2003) Exploiting punctuation semantics in continuous data streams Ieee Transactions On Knowledge and Data Engineering. 15: 555-568 |
| Calcagno C, Moggi E, Sheard T. (2003) Closed types for a safe imperative MetaML Journal of Functional Programming. 13: 545-571 |
| Sheard T, Jones SP. (2002) Template meta-programming for Haskell Sigplan Notices. 37: 60-75 |
| Sheard T. (2001) Accomplishments and research challenges in meta-programming Lecture Notes in Computer Science. 2-44 |