Searching for authors named "Tim Sheard" – sorted by Relevance.
57 documents found, showing 1 through 10.
Next 10 →
-
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
-
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 48 (5 self) – Add To MetaCart
-
Languages of the Future
- …Languages of the Future Tim Sheard # OGI School of Science & Engineering Oregon Health & Science…
- Cited by 49 (2 self) – Add To MetaCart
-
Programming with Static Invariants in \Omega mega
- … Programming with Static Invariants in \Omega mega Nathan Linger & Tim Sheard September 17…
- Add To MetaCart
-
Chin: A Program Specializer
- …Chin: A Program Specializer Tim Sheard, Tong Zhou Pacific Software Research Center Oregon Graduate…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
