Följ
Patricia Johann
Patricia Johann
Verifierad e-postadress på appstate.edu - Startsida
Titel
Citeras av
Citeras av
År
Foundations for structured programming with GADTs
P Johann, N Ghani
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
942008
A relationally parametric model of dependent type theory
R Atkey, N Ghani, P Johann
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
752014
Free theorems in the presence of seq
P Johann, J Voigtländer
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2004
682004
A generic operational metatheory for algebraic effects
P Johann, A Simpson, J Voigtländer
2010 25th Annual IEEE Symposium on Logic in Computer Science, 209-218, 2010
582010
Initial algebra semantics is enough!
P Johann, N Ghani
International Conference on Typed Lambda Calculi and Applications, 207-222, 2007
522007
Deduction systems
R Socher-Ambrosius, P Johann
Springer Science & Business Media, 2012
492012
The impact of seq on free theorems-based program transformations
P Johann, J Voigtländer
Fundamenta Informaticae 69 (1-2), 63-102, 2006
462006
A generalization of short-cut fusion and its correctness proof
P Johann
Higher-order and symbolic computation 15 (4), 273-300, 2002
442002
Warm fusion in Stratego: A case study in generation of program transformation systems
P Johann, E Visser
Annals of Mathematics and Artificial Intelligence 29 (1), 1-34, 2000
402000
An improved general E-unification method
DJ Dougherty, P Johann
Journal of symbolic computation 14 (4), 303-320, 1992
361992
Fibrational induction rules for initial algebras
N Ghani, P Johann, C Fumex
International Workshop on Computer Science Logic, 336-350, 2010
302010
Short cut fusion: Proved and improved
P Johann
International Workshop on Semantics, Applications, and Implementation of …, 2001
302001
Short cut fusion is correct
P Johann
Journal of Functional Programming 13 (4), 797-814, 2003
292003
Bifibrational functorial semantics of parametric polymorphism
N Ghani, P Johann, FN Forsberg, F Orsanigo, T Revell
Electronic Notes in Theoretical Computer Science 319, 165-181, 2015
262015
Generic fibrational induction
N Ghani, P Johann, C Fumex
arXiv preprint arXiv:1206.0357, 2012
252012
Short cut fusion of recursive programs with computational effects
N Ghani, P Johann
Symposium on Trends in Functional Programming (TFP 2008), 2008
242008
Staged notational definitions
W Taha, P Johann
International Conference on Generative Programming and Component Engineering …, 2003
242003
A combinatory logic approach to higher-order E-unification
DJ Dougherty, P Johann
International Conference on Automated Deduction, 79-93, 1992
231992
Selective strictness and parametricity in structural operational semantics, inequationally
J Voigtländer, P Johann
Theoretical Computer Science 388 (1-3), 290-318, 2007
222007
Monadic augment and generalised short cut fusion
N Ghani, P Johann, T Uustalu, V Vene
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
212005
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20