×

zbMATH — the first resource for mathematics

Johann, Patricia

Compute Distance To:
Author ID: johann.patricia Recent zbMATH articles by "Johann, Patricia"
Published as: Johann, Patricia
Documents Indexed: 38 Publications since 1992, including 2 Books

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 87 times in 62 Documents Cited by Year
Free theorems in the presence of seq. Zbl 1325.68047
Johann, Patricia; Voigtländer, Janis
8
2004
A relationally parametric model of dependent type theory. Zbl 1284.68163
Atkey, Robert; Ghani, Neil; Johann, Patricia
7
2014
Initial algebra semantics is enough! Zbl 1215.68138
Johann, Patricia; Ghani, Neil
6
2007
Foundations for structured programming with GADTs. Zbl 1295.68151
Johann, Patricia; Ghani, Neil
6
2008
A generalization of short-cut fusion and its correctness proof. Zbl 1020.68022
Johann, Patricia
5
2002
Deduction systems. Zbl 0866.68101
Socher-Ambrosius, Rolf; Johann, Patricia
4
1997
Short cut fusion is correct. Zbl 1111.68406
Johann, Patricia
4
2003
The impact of \(seq\) on free theorems-based program transformations. Zbl 1096.68026
Johann, Patricia; Voigtländer, Janis
4
2006
Fibrational induction meets effects. Zbl 1352.68169
Atkey, Robert; Ghani, Neil; Jacobs, Bart; Johann, Patricia
4
2012
Normal forms in combinatory logic. Zbl 0830.03005
Johann, Patricia
3
1994
Warm fusion in Stratego: A case study in generation of program transformation systems. Zbl 1014.68034
Johann, Patricia; Visser, Eelco
3
2000
Selective strictness and parametricity in structural operational semantics, inequationally. Zbl 1143.68041
Voigtländer, Janis; Johann, Patricia
3
2007
Monadic augment and generalised short cut fusion. Zbl 1302.68079
Ghani, Neil; Johann, Patricia; Uustalu, Tarmo; Vene, Varmo
3
2005
Fusing logic and control with local transformations: an example optimization. Zbl 1268.68098
Johann, Patricia; Visser, Eelco
3
2001
Bifibrational functorial semantics of parametric polymorphism. Zbl 1351.68072
Ghani, Neil; Johann, Patricia; Forsberg, Fredrik Nordvall; Orsanigo, Federico; Revell, Tim
3
2015
An improved general \(E\)-unification method. Zbl 0773.68063
Dougherty, Daniel J.; Johann, Patricia
2
1992
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi. Zbl 1063.68033
Johann, Patricia
2
2005
A combinatory logic approach to higher-order E-unification. Zbl 0874.68271
Dougherty, Daniel J.; Johann, Patricia
2
1995
A principled approach to programming with nested types in Haskell. Zbl 1183.68141
Johann, Patricia; Ghani, Neil
2
2010
Indexed induction and coinduction, fibrationally. Zbl 1344.68145
Fumex, Clément; Ghani, Neil; Johann, Patricia
2
2011
A productivity checker for logic programming. Zbl 06791225
Komendantskaya, Ekaterina; Johann, Patricia; Schmidt, Martin
2
2017
Indexed induction and coinduction, fibrationally. Zbl 1285.68097
Ghani, Neil; Johann, Patricia; Fumex, Clement
2
2013
Refining inductive types. Zbl 1241.68045
Atkey, Robert; Johann, Patricia; Ghani, Neil
2
2012
When is a type refinement an inductive type? Zbl 1326.68066
Atkey, Robert; Johann, Patricia; Ghani, Neil
1
2011
Monadic augment and generalised short cut fusion. Zbl 1130.68039
Ghani, Neil; Johann, Patricia
1
2007
A family of syntactic logical relations for the semantics of Haskell-like languages. Zbl 1165.68024
Johann, Patricia; Voigtländer, Janis
1
2009
Fibrational induction rules for initial algebras. Zbl 1287.68113
Ghani, Neil; Johann, Patricia; Fumex, Clément
1
2010
Abstraction and invariance for algebraically indexed types. Zbl 1301.68183
Atkey, Robert; Johann, Patricia; Kennedy, Andrew
1
2013
A productivity checker for logic programming. Zbl 06791225
Komendantskaya, Ekaterina; Johann, Patricia; Schmidt, Martin
2
2017
Bifibrational functorial semantics of parametric polymorphism. Zbl 1351.68072
Ghani, Neil; Johann, Patricia; Forsberg, Fredrik Nordvall; Orsanigo, Federico; Revell, Tim
3
2015
A relationally parametric model of dependent type theory. Zbl 1284.68163
Atkey, Robert; Ghani, Neil; Johann, Patricia
7
2014
Indexed induction and coinduction, fibrationally. Zbl 1285.68097
Ghani, Neil; Johann, Patricia; Fumex, Clement
2
2013
Abstraction and invariance for algebraically indexed types. Zbl 1301.68183
Atkey, Robert; Johann, Patricia; Kennedy, Andrew
1
2013
Fibrational induction meets effects. Zbl 1352.68169
Atkey, Robert; Ghani, Neil; Jacobs, Bart; Johann, Patricia
4
2012
Refining inductive types. Zbl 1241.68045
Atkey, Robert; Johann, Patricia; Ghani, Neil
2
2012
Indexed induction and coinduction, fibrationally. Zbl 1344.68145
Fumex, Clément; Ghani, Neil; Johann, Patricia
2
2011
When is a type refinement an inductive type? Zbl 1326.68066
Atkey, Robert; Johann, Patricia; Ghani, Neil
1
2011
A principled approach to programming with nested types in Haskell. Zbl 1183.68141
Johann, Patricia; Ghani, Neil
2
2010
Fibrational induction rules for initial algebras. Zbl 1287.68113
Ghani, Neil; Johann, Patricia; Fumex, Clément
1
2010
A family of syntactic logical relations for the semantics of Haskell-like languages. Zbl 1165.68024
Johann, Patricia; Voigtländer, Janis
1
2009
Foundations for structured programming with GADTs. Zbl 1295.68151
Johann, Patricia; Ghani, Neil
6
2008
Initial algebra semantics is enough! Zbl 1215.68138
Johann, Patricia; Ghani, Neil
6
2007
Selective strictness and parametricity in structural operational semantics, inequationally. Zbl 1143.68041
Voigtländer, Janis; Johann, Patricia
3
2007
Monadic augment and generalised short cut fusion. Zbl 1130.68039
Ghani, Neil; Johann, Patricia
1
2007
The impact of \(seq\) on free theorems-based program transformations. Zbl 1096.68026
Johann, Patricia; Voigtländer, Janis
4
2006
Monadic augment and generalised short cut fusion. Zbl 1302.68079
Ghani, Neil; Johann, Patricia; Uustalu, Tarmo; Vene, Varmo
3
2005
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi. Zbl 1063.68033
Johann, Patricia
2
2005
Free theorems in the presence of seq. Zbl 1325.68047
Johann, Patricia; Voigtländer, Janis
8
2004
Short cut fusion is correct. Zbl 1111.68406
Johann, Patricia
4
2003
A generalization of short-cut fusion and its correctness proof. Zbl 1020.68022
Johann, Patricia
5
2002
Fusing logic and control with local transformations: an example optimization. Zbl 1268.68098
Johann, Patricia; Visser, Eelco
3
2001
Warm fusion in Stratego: A case study in generation of program transformation systems. Zbl 1014.68034
Johann, Patricia; Visser, Eelco
3
2000
Deduction systems. Zbl 0866.68101
Socher-Ambrosius, Rolf; Johann, Patricia
4
1997
A combinatory logic approach to higher-order E-unification. Zbl 0874.68271
Dougherty, Daniel J.; Johann, Patricia
2
1995
Normal forms in combinatory logic. Zbl 0830.03005
Johann, Patricia
3
1994
An improved general \(E\)-unification method. Zbl 0773.68063
Dougherty, Daniel J.; Johann, Patricia
2
1992
all top 5

Cited by 107 Authors

7 Johann, Patricia
5 Ghani, Neil
4 Visser, Eelco
4 Voigtlander, Janis
3 Weirich, Stephanie
2 Badouel, Eric
2 Cho, Kenta
2 Fotsing, Bernard
2 Gibbons, Jeremy
2 Hasuo, Ichiro
2 Kaneiwa, Ken
2 Kaposi, Ambrus
2 Kataoka, Toshiki
2 Komendantskaya, Ekaterina
2 Nordvall Forsberg, Fredrik
2 Piróg, Maciej
2 Stump, Aaron
2 Tchougong, Rodrigue
2 Vytiniotis, Dimitrios
1 Abel, Andreas M.
1 Ahman, Danel
1 Ahrens, Benedikt
1 Altenkirch, Thorsten
1 Anai, Hirokazu
1 Ancona, Davide
1 Arai, Noriko H.
1 Barraclough, Richard W.
1 Bernardy, Jean-Philippe
1 Binkley, Dave
1 Birkedal, Lars
1 Cockx, Jesper
1 Coquand, Thierry
1 Cunha, Alcino
1 Dagand, Pierre-Evariste
1 Dagnino, Francesco
1 Danicic, Sebastian
1 Devriese, Dominique
1 Dougherty, Daniel J.
1 Dowek, Gilles
1 Dreyer, Derek R.
1 Fernandes, João Paulo
1 Fu, Peng
1 Fukasaku, Ryoya
1 Hage, Jurriaan
1 Hamana, Makoto
1 Hardin, Thérèse
1 Harman, Mark
1 Hierons, Robert Mark
1 Hirschowitz, André
1 Holdermans, Stefan
1 Iwane, Hidenao
1 Jacobs, Bart
1 Katsumata, Shin-ya
1 Kim, Jiho
1 Kirchner, Claude
1 Kiss, Ákos
1 Kobayashi, Munehiro
1 Koopman, Pieter
1 Kovács, András
1 Kudo, Jumma
1 Lafont, Ambroise
1 Lämmel, Ralf
1 Laurence, Mike
1 Licata, Daniel R.
1 López-Fraguas, Francisco Javier
1 Maggesi, Marco
1 Martin-Martin, Enrique
1 Matsuzaki, Takuya
1 Matthes, Ralph
1 Melliès, Paul-André
1 Møgelberg, Rasmus Ejlers
1 Morawska, Barbara
1 Moreau, Pierre-Etienne
1 Moulin, Guilhem
1 Neis, Georg
1 New, Max S.
1 Nishimura, Susumu
1 Nkuimi-Jugnia, C.
1 Orsanigo, Federico
1 Ouarbya, Lahcen
1 Pacheco, Hugo
1 Pardo, Alberto
1 Pásztor Varga, Katalin
1 Plotkin, Gordon D.
1 Pond, Andrew
1 Power, John
1 Rocha, Camilo
1 Rodríguez-Hortalá, Juan
1 Sabel, David
1 Saraiva, João Tomé
1 Schmidt-Schauß, Manfred
1 Schrijvers, Tom
1 Seidel, Daniel
1 Silva, Alexandra
1 Simpson, Alex K.
1 Socher, Rolf
1 Stenger, Florian
1 Timany, Amin
1 Várterész, Magda
1 Wadler, Philip Lee
...and 7 more Authors

Citations by Year