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
812014
Free theorems in the presence of seq
P Johann, J Voigtländer
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2004
692004
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
662010
Initial algebra semantics is enough!
P Johann, N Ghani
Typed Lambda Calculi and Applications: 8th International Conference, TLCA …, 2007
562007
Deduction systems
R Socher-Ambrosius, P Johann
Springer Science & Business Media, 2012
502012
A generalization of short-cut fusion and its correctness proof
P Johann
Higher-order and symbolic computation 15, 273-300, 2002
472002
The impact of seq on free theorems-based program transformations
P Johann, J Voigtländer
Fundamenta Informaticae 69 (1-2), 63-102, 2006
452006
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-34, 2000
432000
An improved general E-unification method
DJ Dougherty, P Johann
Journal of symbolic computation 14 (4), 303-320, 1992
411992
Indexed induction and coinduction, fibrationally
N Ghani, P Johann, C Fumex
Logical Methods in Computer Science 9, 2013
39*2013
Short cut fusion: Proved and improved
P Johann
International Workshop on Semantics, Applications, and Implementation of …, 2001
292001
Short cut fusion is correct
P Johann
Journal of Functional Programming 13 (4), 797-814, 2003
282003
Generic fibrational induction
N Ghani, P Johann, C Fumex
Logical Methods in Computer Science 8, 2012
272012
Fibrational induction rules for initial algebras
N Ghani, P Johann, C Fumex
International Workshop on Computer Science Logic, 336-350, 2010
262010
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
242015
Staged notational definitions
W Taha, P Johann
Generative Programming and Component Engineering: Second International …, 2003
242003
Short cut fusion of recursive programs with computational effects
N Ghani, P Johann
Symposium on Trends in Functional Programming (TFP 2008), 2008
232008
A combinatory logic approach to higher-order E-unification
DJ Dougherty, P Johann
International Conference on Automated Deduction, 79-93, 1992
231992
Fusing logic and control with local transformations: An example optimization
P Johann, E Visser
Electronic Notes in Theoretical Computer Science 57, 144-162, 2001
222001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20