Searching for authors named Tim Sheard – sorted by Relevance.
-
Combining Programming Languages and Logical Reasoning Systems: Project Summary
- This paper was particularly useful as it explained in practical terms how to build such a type checker -- in particular how to set up the subsumption relation that describes which types are more polymorphic than others
- Add To MetaCart
-
Type-level Computation Using Narrowing in Ωmega
- PLPV 2006 Type-level Computation Using Narrowing in \Omega mega. Tim Sheard1 ,2 Computer
- Cited by 4 (0 self) – Add To MetaCart
-
Generic Unification via Two-Level Types and Parameterized Modules - Functional Pearl
- . Copyright 2001 ACM 1-58113-415-0/01/0009 ...$5.00. [Functional Pearl] Tim Sheard Pacific Software Research
- Cited by 13 (1 self) – Add To MetaCart
-
Type Parametric Programming
- Type Parametric Programming Tim Sheard Pacific Software Research Center Oregon Graduate Institute
- Cited by 13 (6 self) – Add To MetaCart
-
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
- A Type-directed, On-line, Partial Evaluator for a Polymorphic Language Tim Sheard Oregon Graduate
- Cited by 13 (4 self) – Add To MetaCart
-
Languages of the Future
- Languages of the Future Tim Sheard # OGI School of Science & Engineering Oregon Health & Science
- Cited by 48 (2 self) – Add To MetaCart
-
Putting Curry-Howard to work
- Putting Curry-Howard to Work Tim Sheard Portland State University sheard@(email omitted); Abstract
- Cited by 15 (1 self) – Add To MetaCart
-
Accomplishments and Research Challenges in Meta-Programming
- Accomplishments and Research Challenges in Meta-Programming Invited Paper Tim Sheard Pacific
- Cited by 46 (5 self) – Add To MetaCart
-
Using MetaML: a Staged Programming Language
- Using MetaML: a Staged Programming Language Tim Sheard Oregon Graduate Institute 1 Why Staging
- Add To MetaCart
-
Type Parametric Programming
- Type Parametric Programming Tim Sheard Pacific Software Research Center Oregon Graduate Institute
- Add To MetaCart

