Fritz Henglein
发表
Olivier Danvy,
Harry G. Mairson,
Fritz Henglein,
2008
.
Fritz Henglein,
F. Henglein,
2012,
Journal of Functional Programming.
Fritz Henglein,
2010,
Commun. ACM.
Olivier Danvy,
Harry G. Mairson,
Fritz Henglein,
2008
.
Fritz Henglein,
1994,
SAS.
Fritz Henglein,
2008,
ICFP 2008.
Fritz Henglein,
Mads Tofte,
Christian Mossin,
1999,
POPL '99.
Fritz Henglein,
F. Henglein,
1992,
LFP '92.
Harry G. Mairson,
Fritz Henglein,
F. Henglein,
1991,
POPL '91.
Fritz Henglein,
Jesper Jørgensen,
1994,
POPL '94.
Martin Elsman,
Fritz Henglein,
Omri Ross,
2017,
Business & Information Systems Engineering.
Fritz Henglein,
Nicolas Wu,
Jeremy Gibbons,
2018,
Proc. ACM Program. Lang..
Fritz Henglein,
Nobuko Yoshida,
Lasse Nielsen,
2012,
FHIES.
Olivier Danvy,
Harry G. Mairson,
Fritz Henglein,
2005
.
Fritz Henglein,
Niels Bjørn Bugge Grathwohl,
Ulrik Terp Rasmussen,
2014,
ICTAC.
Fritz Henglein,
Hsiang-Shang Ko,
2018,
PEPM.
Fritz Henglein,
F. Henglein,
1993,
TOPL.
Fritz Henglein,
Michael Brandt,
Michael Brandt,
1998,
Fundam. Informaticae.
Fritz Henglein,
Thomas T. Hildebrandt,
Tim Hallwyl,
2010,
SAC '10.
Fritz Henglein,
Konstantin Läufer,
2018
.
Fritz Henglein,
Lasse Nielsen,
Lasse R. Nielsen,
2011,
POPL '11.
Fritz Henglein,
F. Henglein,
1991,
ICCI.
Yike Guo,
Maurizio Gabbrielli,
Fritz Henglein,
1997,
Lecture Notes in Computer Science.
Olivier Danvy,
Harry G. Mairson,
Fritz Henglein,
2005,
High. Order Symb. Comput..
Fritz Henglein,
1991
.
Fritz Henglein,
Jakob Rehof,
F. Henglein,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Fritz Henglein,
F. Henglein,
2008,
ICFP.
Fritz Henglein,
Jakob Rehof,
F. Henglein,
1998,
ICALP.
Fritz Henglein,
Gabriele Keller,
2018,
J. Funct. Program..
Fritz Henglein,
F. Henglein,
1994,
Sci. Comput. Program..
Fritz Henglein,
Christian Mossin,
Dirk Dussart,
1995,
SAS.
Fritz Henglein,
F. Henglein,
2011,
LOPSTR.
Fritz Henglein,
2018
.
Fritz Henglein,
Jakob Rehof,
F. Henglein,
2015,
Semantics, Logics, and Calculi.
Fritz Henglein,
Mads Tofte,
Christian Mossin,
1999,
TLCA.
Fritz Henglein,
F. Henglein,
1999,
Theory Pract. Object Syst..
Fritz Henglein,
Edmond Schonberg,
Robert Paige,
1991
.
Fritz Henglein,
Dexter Kozen,
Niels Bjørn Bugge Grathwohl,
2013
.
Fritz Henglein,
1992,
ESOP.
Martin Elsman,
Fritz Henglein,
Omri Ross,
2017
.
Fritz Henglein,
Jakob Rehof,
F. Henglein,
1995
.
Fritz Henglein,
Ralf Hinze,
F. Henglein,
2013,
APLAS.
Fritz Henglein,
F. Henglein,
1988,
LISP and Functional Programming.
Fritz Henglein,
P. Facon,
Jiazhen Cai,
2009
.
Fritz Henglein,
Clemens Grelck,
Umut A. Acar,
2013
.
Fritz Henglein,
Dexter Kozen,
Niels Bjørn Bugge Grathwohl,
2017,
Fundam. Informaticae.
Martin Elsman,
Fritz Henglein,
Troels Henriksen,
2017,
PLDI.
Fritz Henglein,
Alain Frisch,
Jost Berthold,
2012,
FHPC '12.
Fritz Henglein,
Robert Paige,
F. Henglein,
1987,
J. Symb. Comput..
Fritz Henglein,
David Sands,
F. Henglein,
1995,
PLILP.
Fritz Henglein,
Henning Niss,
Henning Makholm,
2005
.
Fritz Henglein,
Niels Bjørn Bugge Grathwohl,
Ulrik Terp Rasmussen,
2016,
POPL.
Fritz Henglein,
Mikkel Jonsson Thomsen,
F. Henglein,
2012,
2012 6th International Workshop on Software Clones (IWSC).
Fritz Henglein,
2010
.
Fritz Henglein,
Christian Mossin,
F. Henglein,
1994,
ESOP.
Fritz Henglein,
Umut A. Acar,
Jost Berthold,
2012,
ICFP 2012.
Fritz Henglein,
F. Henglein,
2009
.
Fritz Henglein,
F. Henglein,
2009
.
Fritz Henglein,
2010
.
Fritz Henglein,
Michael Brandt,
F. Henglein,
1998,
Fundam. Informaticae.
Olivier Danvy,
Harry G. Mairson,
Fritz Henglein,
2003,
High. Order Symb. Comput..
Ken Friis Larsen,
Fritz Henglein,
2010,
WGP '10.
Fritz Henglein,
2019
.
Fritz Henglein,
Robert Paige,
F. Henglein,
1985,
European Conference on Computer Algebra.
Fritz Henglein,
Jakob Rehof,
F. Henglein,
1995,
FPCA '95.
Brian Vinter,
Ken Friis Larsen,
Fritz Henglein,
2011,
Trends in Functional Programming.
Harry G. Mairson,
Fritz Henglein,
1994,
J. Funct. Program..
Fritz Henglein,
Lasse Nielsen,
2011,
LATA.
Fritz Henglein,
Clemens Grelck,
Umut A. Acar,
2012,
FHPC@ICFP.
Fritz Henglein,
2012,
Logic and Program Semantics.
Fritz Henglein,
2010,
PEPM '10.
Fritz Henglein,
2016,
SIGL.
Fritz Henglein,
1998,
ACM SIGPLAN Notices.
Fritz Henglein,
Lasse Nielsen,
Niels Bjørn Bugge Grathwohl,
2013,
CIAA.
Ken Friis Larsen,
Jakob Grue Simonsen,
Fritz Henglein,
2009,
J. Log. Algebraic Methods Program..
Fritz Henglein,
Ulrik Terp Rasmussen,
F. Henglein,
2017,
PEPM.
Fritz Henglein,
Agata Murawska,
Christian Kjær Larsen,
2020,
Financial Cryptography Workshops.
Fritz Henglein,
Shriram Krishnamurthi,
Peter Thiemann,
2014,
Dagstuhl Reports.
Fritz Henglein,
F. Henglein,
1991,
FPCA.
Fritz Henglein,
Hans Leiß,
F. Henglein,
1991,
MFCS.
Fritz Henglein,
Henning Niss,
Henning Makholm,
2001,
PPDP '01.
Fritz Henglein,
Jesper Andersen,
Patrick Bahr,
2014,
ISoLA.
Ken Friis Larsen,
Fritz Henglein,
F. Henglein,
2010,
High. Order Symb. Comput..
Fritz Henglein,
F. Henglein,
2009,
J. Log. Algebraic Methods Program..
Jakob Grue Simonsen,
Fritz Henglein,
Christian Stefansen,
2006,
International Journal on Software Tools for Technology Transfer.
Martin Elsman,
Fritz Henglein,
Jost Berthold,
2016,
ACM Trans. Archit. Code Optim..
Fritz Henglein,
V. Christiansen,
Henning Nissy,
2009
.