The SCEAS System
| |||||||

## Search the dblp DataBase
Patricia Johann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Daniel J. Dougherty, Patricia Johann
**An Improved General E-Unification Method.**[Citation Graph (0, 0)][DBLP] CADE, 1990, pp:261-275 [Conf] - Daniel J. Dougherty, Patricia Johann
**A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract).**[Citation Graph (0, 0)][DBLP] CADE, 1992, pp:79-93 [Conf] - Patricia Johann, Michael Kohlhase
**Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:620-634 [Conf] - Patricia Johann, Rolf Socher-Ambrosius
**Solving Simplification Ordering Constraints.**[Citation Graph (0, 0)][DBLP] CCL, 1994, pp:352-367 [Conf] - Walid Taha, Patricia Johann
**Staged Notational Definitions.**[Citation Graph (0, 0)][DBLP] GPCE, 2003, pp:97-116 [Conf] - Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
**Monadic augment and generalised short cut fusion.**[Citation Graph (0, 0)][DBLP] ICFP, 2005, pp:294-305 [Conf] - Patricia Johann, Janis Voigtländer
**Free theorems in the presence of**[Citation Graph (0, 0)][DBLP]*seq*. POPL, 2004, pp:99-110 [Conf] - Patricia Johann
**Short Cut Fusion: Proved and Improved.**[Citation Graph (0, 0)][DBLP] SAIG, 2001, pp:47-71 [Conf] - Patricia Johann, Eelco Visser
**Warm fusion in Stratego: A case study in generation of program transformation systems.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:1-34 [Journal] - Patricia Johann, Janis Voigtländer
**The Impact of seq on Free Theorems-Based Program Transformations.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:69, n:1-2, pp:63-102 [Journal] - Patricia Johann
**Short cut fusion is correct.**[Citation Graph (0, 0)][DBLP] J. Funct. Program., 2003, v:13, n:4, pp:797-814 [Journal] - Daniel J. Dougherty, Patricia Johann
**An Improved General E-Unification Method.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1992, v:14, n:4, pp:303-320 [Journal] - Patricia Johann
**A Generalization of Short-Cut Fusion and its Correctness Proof.**[Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2002, v:15, n:4, pp:273-300 [Journal] - Patricia Johann
**On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:2, pp:201-229 [Journal] - Patricia Johann
**Normal Forms in Combinatory Logic.**[Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1994, v:35, n:4, pp:573-594 [Journal] - Daniel J. Dougherty, Patricia Johann
**A Combinatory Logic Approach to Higher-Order E-Unification.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1995, v:139, n:1&2, pp:207-242 [Journal] - Patricia Johann, Eelco Visser
**Fusing Logic and Control with Local Transformations: An Example Optimization.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:57, n:, pp:- [Journal] - Patricia Johann, Neil Ghani
**Initial Algebra Semantics Is Enough!**[Citation Graph (0, 0)][DBLP] TLCA, 2007, pp:207-222 [Conf] **Fibrational Induction Rules for Initial Algebras.**[Citation Graph (, )][DBLP]**A Generic Operational Metatheory for Algebraic Effects.**[Citation Graph (, )][DBLP]**Foundations for structured programming with GADTs.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |