Searching for authors named "James Hook" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
Key Words in Context, an example
- … e or s i o te t, a e a le James oo an ic ar ie urtz re on ra uate Institute hook@(email omitted); Jul…
- Cited by 1 (0 self) – Add To MetaCart
-
Dependently typing JVM method invocation
- … James Hook hook@(email omitted); Code certi cation is a promising technique that supports secure and e cient…
- Add To MetaCart
-
Type Safe Meta-Programming
- …Type Safe Meta-Programming Tim Sheard & James Hook Oregon Graduate Institute of Science…
- Cited by 1 (0 self) – Add To MetaCart
-
The Design of Message Specification Language
- …The Design of Message Specification Language James Hook and Lisa Walton Pacific Software…
- Cited by 4 (0 self) – Add To MetaCart
-
Design Automation: Making Formal Methods Relevant
- …Design Automation: Making Formal Methods Relevant Lisa Walton and James Hook walton…
- Cited by 1 (0 self) – Add To MetaCart
-
Monads, Indexes and Transformations
- …Monads, Indexes and Transformations Fran��coise Bellegarde ? and James Hook ?? Pacific Software…
- Cited by 1 (1 self) – Add To MetaCart
-
Message Specification Language (MSL): Reference Manual
- …Message Specification Language (MSL): Reference Manual Revision: 1.9 Lisa Walton and James Hook…
- Cited by 1 (1 self) – Add To MetaCart
-
Substitution: A formal methods case study using monads and transformations
- … and James Hook Pacific Software Research Center Oregon Graduate Institute of Science & Technology PO Box…
- Cited by 11 (3 self) – Add To MetaCart
-
A Semantics of Compile-time Reflection
- …A Semantics of Compile-time Reflection James Hook and Tim Sheard Oregon Graduate Institute, Box…
- Cited by 11 (4 self) – Add To MetaCart
-
GADTs + Extensible Kinds = Dependent Programming A Programming Pearl for the 21st Century
- … Sheard James Hook Nathan Linger Portland State University{ sheard,hook,rlinger}@(email omitted); Abstract We…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
