dblp.uni-trier.dewww.uni-trier.de

Patricia Johann Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
22EEPatricia Johann, Janis Voigtländer: A family of syntactic logical relations for the semantics of Haskell-like languages. Inf. Comput. 207(2): 341-368 (2009)
2008
21EEPatricia Johann, Neil Ghani: Foundations for structured programming with GADTs. POPL 2008: 297-308
2007
20EEPatricia Johann, Neil Ghani: Initial Algebra Semantics Is Enough! TLCA 2007: 207-222
19EENeil Ghani, Patricia Johann: Monadic augment and generalised short cut fusion. J. Funct. Program. 17(6): 731-776 (2007)
18EEJanis Voigtländer, Patricia Johann: Selective strictness and parametricity in structural operational semantics, inequationally. Theor. Comput. Sci. 388(1-3): 290-318 (2007)
2006
17EEPatricia Johann, Janis Voigtländer: The Impact of seq on Free Theorems-Based Program Transformations. Fundam. Inform. 69(1-2): 63-102 (2006)
2005
16EENeil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene: Monadic augment and generalised short cut fusion. ICFP 2005: 294-305
15EEPatricia Johann: On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi. Mathematical Structures in Computer Science 15(2): 201-229 (2005)
2004
14EEPatricia Johann, Janis Voigtländer: Free theorems in the presence of seq. POPL 2004: 99-110
2003
13EEWalid Taha, Patricia Johann: Staged Notational Definitions. GPCE 2003: 97-116
12EEPatricia Johann: Short cut fusion is correct. J. Funct. Program. 13(4): 797-814 (2003)
2002
11 Patricia Johann: A Generalization of Short-Cut Fusion and its Correctness Proof. Higher-Order and Symbolic Computation 15(4): 273-300 (2002)
2001
10EEPatricia Johann: Short Cut Fusion: Proved and Improved. SAIG 2001: 47-71
9EEPatricia Johann, Eelco Visser: Fusing Logic and Control with Local Transformations: An Example Optimization. Electr. Notes Theor. Comput. Sci. 57: (2001)
2000
8 Patricia Johann, Eelco Visser: Warm fusion in Stratego: A case study in generation of program transformation systems. Ann. Math. Artif. Intell. 29(1-4): 1-34 (2000)
1995
7EEDaniel J. Dougherty, Patricia Johann: A Combinatory Logic Approach to Higher-Order E-Unification. Theor. Comput. Sci. 139(1&2): 207-242 (1995)
1994
6EEPatricia Johann, Michael Kohlhase: Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. CADE 1994: 620-634
5 Patricia Johann, Rolf Socher-Ambrosius: Solving Simplification Ordering Constraints. CCL 1994: 352-367
4 Patricia Johann: Normal Forms in Combinatory Logic. Notre Dame Journal of Formal Logic 35(4): 573-594 (1994)
1992
3EEDaniel J. Dougherty, Patricia Johann: A Combinatory Logic Approach to Higher-order E-unification (Extended Abstract). CADE 1992: 79-93
2 Daniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. J. Symb. Comput. 14(4): 303-320 (1992)
1990
1EEDaniel J. Dougherty, Patricia Johann: An Improved General E-Unification Method. CADE 1990: 261-275

Coauthor Index

1Daniel J. Dougherty [1] [2] [3] [7]
2Neil Ghani [16] [19] [20] [21]
3Michael Kohlhase [6]
4Rolf Socher-Ambrosius [5]
5Walid Taha [13]
6Tarmo Uustalu [16]
7Varmo Vene [16]
8Eelco Visser [8] [9]
9Janis Voigtländer [14] [17] [18] [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)