Searching for authors named "Patricia Johann" – sorted by Relevance.
-
Short cut fusion: Proved and improved
- Short Cut Fusion: Proved and Improved Patricia Johann Department of Mathematics and Computer
- Cited by 3 (1 self) – Add To MetaCart
-
Normal Forms in Combinatory Logic
- Logic PATRICIA JOHANN Abstract Let R be a convergent term rewriting system, and let CR
- Cited by 1 (1 self) – Add To MetaCart
-
Foundations for structured programming with GADTs
- Foundations for Structured Programming with GADTs Patricia Johann Rutgers University, Camden, NJ
- Cited by 4 (0 self) – Add To MetaCart
-
Staged Notational Definitions
- Staged Notational Definitions Walid Taha 1,⋆ and Patricia Johann 2 1 Department of Computer
- Cited by 3 (1 self) – Add To MetaCart
-
Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
- Utrecht University February 2003 Copyright c○ 2003 Patricia Johann, Eelco Visser ISSN 0924-3275 Address
- Cited by 4 (1 self) – Add To MetaCart
-
Fusing Logic and Control with Local Transformations: An Example Optimization
- ://www.elsevier.nl/locate/entcs/volume57.html Fusing Logic and Control with Local Transformations: An Example Optimization Patricia Johann
- Cited by 10 (7 self) – Add To MetaCart
-
A Combinator-based Order-sorted Higher-order Unification Algorithm
- A Combinator-based Order-sorted Higher-order Unification Algorithm Patricia Johann Fachbereich
- Cited by 1 (0 self) – Add To MetaCart
-
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Languages
- Languages Patricia Johann John Launchbury Pacific Software Research Center October 29, 1997 Abstract
- Cited by 1 (1 self) – Add To MetaCart
-
Initial algebra semantics is enough
- Initial Algebra Semantics is Enough! Patricia Johann ⋆ and Neil Ghani ⋆⋆ Abstract. Initial algebra
- Cited by 1 (1 self) – Add To MetaCart
-
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
- Study in Generation of Program Transformation Systems Patricia Johann a Eelco Visser b a Department
- Cited by 23 (14 self) – Add To MetaCart

