Patricia Johann
发表
Patricia Johann,
2016
.
Patricia Johann,
2002,
High. Order Symb. Comput..
Robert Atkey,
Patricia Johann,
2015,
J. Funct. Program..
Patricia Johann,
Neil Ghani,
Clément Fumex,
2010,
CSL.
Patricia Johann,
Enrico Ghiorzi,
Daniel Jeffries,
2021,
ArXiv.
Patricia Johann,
2012
.
Eelco Visser,
Patricia Johann,
2001,
Electron. Notes Theor. Comput. Sci..
Nick Benton,
Patricia Johann,
2011
.
Patricia Johann,
Neil Ghani,
Clément Fumex,
2011,
CALCO.
Patricia Johann,
2005,
Math. Struct. Comput. Sci..
Walid Taha,
Patricia Johann,
2003,
GPCE.
Patricia Johann,
Neil Ghani,
Neil Ghani,
2016
.
Patricia Johann,
Kristina Sojakova,
2017,
ArXiv.
Patricia Johann,
2003,
J. Funct. Program..
Patricia Johann,
Neil Ghani,
2007,
TLCA.
Patricia Johann,
Ekaterina Komendantskaya,
Vladimir Komendantskiy,
2015,
ICLP.
Daniel J. Dougherty,
Patricia Johann,
1992,
J. Symb. Comput..
Eelco Visser,
Patricia Johann,
2003
.
Eelco Visser,
Patricia Johann,
2004,
Annals of Mathematics and Artificial Intelligence.
Patricia Johann,
Neil Ghani,
Clément Fumex,
2012,
Log. Methods Comput. Sci..
Tarmo Uustalu,
Varmo Vene,
Patricia Johann,
2005,
ICFP '05.
Patricia Johann,
2006
.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2014,
POPL.
Patricia Johann,
Janis Voigtländer,
2007,
Theor. Comput. Sci..
Patricia Johann,
Rolf Socher-Ambrosius,
1997
.
Patricia Johann,
2020,
Electronic Notes in Theoretical Computer Science.
Martin Schmidt,
Patricia Johann,
Ekaterina Komendantskaya,
2016,
LOPSTR.
Patricia Johann,
Rolf Socher-Ambrosius,
1997
.
Patricia Johann,
Andrew Polonsky,
2020,
FoSSaCS.
Patricia Johann,
Rolf Socher-Ambrosius,
1994
.
Patricia Johann,
Rolf Socher-Ambrosius,
1997
.
Patricia Johann,
2000,
SOEN.
Patricia Johann,
Neil Ghani,
2008,
POPL '08.
Patricia Johann,
Janis Voigtländer,
J. Voigtländer,
2004,
POPL.
Daniel J. Dougherty,
Patricia Johann,
Patricia Johann,
1992,
Theor. Comput. Sci..
Patricia Johann,
Kristina Sojakova,
Patricia Johann,
2018,
LICS.
Patricia Johann,
Neil Ghani,
Timothy Revell,
2015,
MFPS.
Patricia Johann,
Franklyn A. Turbak,
F. Turbak,
2001,
Comput. Sci. Educ..
Andrew Kennedy,
Robert Atkey,
Patricia Johann,
2013,
POPL.
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
pdf
Patricia Johann,
Ekaterina Komendantskaya,
2015,
ArXiv.
Patricia Johann,
Janis Voigtländer,
2009,
Inf. Comput..
Patricia Johann,
Neil Ghani,
2008,
Trends in Functional Programming.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2011,
FoSSaCS.
Patricia Johann,
Michael Kohlhase,
M. Kohlhase,
1994,
CADE.
Daniel J. Dougherty,
Patricia Johann,
1990,
CADE.
Bart Jacobs,
Robert Atkey,
Patricia Johann,
2012,
FoSSaCS.
Patricia Johann,
Rolf Socher-Ambrosius,
1994,
CCL.
Patricia Johann,
2001,
SAIG.
Patricia Johann,
Rolf Socher-Ambrosius,
1997,
Graduate Texts in Computer Science.
Patricia Johann,
Neil Ghani,
2007,
J. Funct. Program..
Patricia Johann,
1999,
ACM SIGCSE Bull..
Patricia Johann,
Patricia Johann,
1994,
Notre Dame J. Formal Log..
Patricia Johann,
Rolf Socher-Ambrosius,
1997
.
Patricia Johann,
2009
.
Patricia Johann,
Janis Voigtländer,
Alex K. Simpson,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
Patricia Johann,
2006
.
Patricia Johann,
Janis Voigtländer,
J. Voigtländer,
2006,
Fundam. Informaticae.
Warm Fusion for the Masses: Detailing Virtual Data Structure Elimination in Fully Recursive Language
Patricia Johann,
John Launchbury,
J. Launchbury,
1997
.
Patricia Johann,
Neil Ghani,
Clément Fumex,
2011,
CALCO.
Daniel J. Dougherty,
Patricia Johann,
Patricia Johann,
1995,
Theor. Comput. Sci..
Patricia Johann,
Andrew Polonsky,
2018,
ArXiv.
Robert Atkey,
Patricia Johann,
Neil Ghani,
2012,
Log. Methods Comput. Sci..
Patricia Johann,
Enrico Ghiorzi,
Daniel Jeffries,
2022,
CPP.
Patricia Johann,
Enrico Ghiorzi,
Daniel Jeffries,
2021,
Logical Methods in Computer Science.
Patricia Johann,
Enrico Ghiorzi,
Daniel Jeffries,
2021,
FoSSaCS.
Patricia Johann,
Enrico Ghiorzi,
Daniel Jeffries,
2021,
ArXiv.
Patricia Johann,
Rolf Socher-Ambrosius,
1997
.