Peter Thiemann
发表
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Peter Thiemann,
Nico Naus,
2016,
TFP.
Suresh Jagannathan,
Peter Thiemann,
Stephen Weeks,
1998,
POPL '98.
Peter Thiemann,
2006,
FLOPS.
Peter Thiemann,
Stefan Wehr,
2008,
APLAS.
Peter Thiemann,
1998,
ESOP.
Peter Thiemann,
2004,
GI Jahrestagung.
Peter Thiemann,
Peter Thiemann,
1997,
TAPSOFT.
Annette Bieniusa,
Peter Thiemann,
Michael Sperber,
2008,
FDPE '08.
Peter Thiemann,
Peter Thiemann,
1999,
ESOP.
Ralf Lämmel,
Peter Thiemann,
Stefan Wehr,
2007,
ECOOP.
Peter Thiemann,
Peter Thiemann,
2006,
Haskell '06.
Annette Bieniusa,
Peter Thiemann,
Peter Thiemann,
2009,
CC.
Peter Thiemann,
Matthias Neubauer,
2004
.
Olivier Danvy,
Peter Thiemann,
Ian Zerny,
2013,
IFL 2013.
Peter Thiemann,
Andreas Schlegel,
Matthias Keil,
2015,
Dagstuhl Artifacts Ser..
Wei-Ngan Chin,
Siau-Cheng Khoo,
Peter Thiemann,
1996,
Dagstuhl Seminar on Partial Evaluation.
Peter Thiemann,
Peter Thiemann,
2005,
TOIT.
Peter Thiemann,
2006
.
Peter Thiemann,
Peter Thiemann,
1999,
Journal of Functional Programming.
Henrik Nilsson,
Peter Thiemann,
2010,
J. Funct. Program..
Peter Thiemann,
Rodrigo Guzman Iturra,
2018,
2018 IEEE 19th Workshop on Control and Modeling for Power Electronics (COMPEL).
Peter Thiemann,
Simon Helsen,
Peter Thiemann,
2004,
TOPL.
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Peter Thiemann,
Johannes Rudolph,
2010,
PEPM '10.
Peter Thiemann,
Stefan Wehr,
Markus Degen,
2009,
GI Jahrestagung.
Peter Thiemann,
1997,
Softw. Pract. Exp..
Gilles Barthe,
Peter Thiemann,
John Hatcliff,
1997,
Electron. Notes Theor. Comput. Sci..
Peter Thiemann,
1991
.
Peter Thiemann,
Peter Thiemann,
2002,
PADL.
Peter Thiemann,
Claudius Heitz,
Thomas Wölfle,
2006,
TEAA.
Peter Thiemann,
Robert Jakob,
2015,
NFM.
Peter Thiemann,
Matthias Neubauer,
Peter Thiemann,
2003,
ICFP '03.
Peter Thiemann,
2017,
FoSSaCS.
Peter Thiemann,
Matthias Neubauer,
2004,
Haskell '04.
Peter Thiemann,
1997
.
Peter Thiemann,
Martin Sulzmann,
2015,
LATA.
Peter Thiemann,
Matthias Neubauer,
2005,
POPL '05.
Peter Thiemann,
Chan H. See,
Tobias Mueller,
2017,
2017 IEEE 26th International Symposium on Industrial Electronics (ISIE).
Peter Thiemann,
Matthias Neubauer,
2004,
APLAS.
Peter Thiemann,
Matthias Keil,
2013,
ArXiv.
Peter Thiemann,
Peter Thiemann,
2000,
FoSSaCS.
Peter Thiemann,
Peter Thiemann,
1999
.
Peter Thiemann,
Peter Thiemann,
2000,
CC.
Peter Thiemann,
Manuel Geffken,
Peter Thiemann,
2014,
PPPJ.
Peter Thiemann,
1997,
MFPS.
Annette Bieniusa,
Peter Thiemann,
2011,
ESOP.
Peter Thiemann,
2016,
A List of Successes That Can Change the World.
Philip Wadler,
Atsushi Igarashi,
Peter Thiemann,
2014,
NII Shonan Meet. Rep..
Peter Thiemann,
Peter Thiemann,
1996,
PLILP.
Peter Thiemann,
Michael Sperber,
Peter Thiemann,
1996,
Ershov Memorial Conference.
Peter Thiemann,
Herbert Gibisch,
Dieter Joergens,
2003
.
Peter Thiemann,
Stefan Wehr,
Markus Degen,
2012,
High. Order Symb. Comput..
Peter Thiemann,
2016
.
Peter Thiemann,
1996,
ICFP '96.
Peter Thiemann,
Michael Sperber,
Peter Thiemann,
1997,
GI Jahrestagung.
Peter Thiemann,
Martin Sulzmann,
2019,
J. Comput. Syst. Sci..
Peter Thiemann,
Matthias Keil,
2013,
DLS '13.
Robert Glück,
Peter Thiemann,
R. Glück,
1995
.
Peter Thiemann,
Konrad Anton,
Konrad Anton,
2010,
APLAS.
Peter Thiemann,
2004,
Advanced Functional Programming.
Peter Thiemann,
Peter Thiemann,
1995,
FPCA '95.
Peter Thiemann,
Peter Thiemann,
1999,
PEPM.
Robert Glück,
Peter Thiemann,
Michael Sperber,
1996,
SAC '96.
Peter Thiemann,
Stefan Wehr,
2006,
Softwaretechnik-Trends.
Peter Thiemann,
Simon Helsen,
Peter Thiemann,
2000,
SAIG.
Peter Thiemann,
2008
.
Peter Thiemann,
Matthias Keil,
2017,
ArXiv.
Annette Bieniusa,
Peter Thiemann,
Phillip Heidegger,
2010,
TAIC PART.
Peter Thiemann,
Martin Sulzmann,
Peter Thiemann,
2010,
FLOPS.
Peter Thiemann,
Christian Schindelhauer,
Faisal Aslam,
2012,
LCTES '12.
Peter Thiemann,
2013,
PEPM '13.
Peter Thiemann,
1998,
Types in Compilation.
Peter Thiemann,
2005,
TLDI '05.
Peter Thiemann,
Peter Thiemann,
1992,
Proceedings of the 1992 International Conference on Computer Languages.
Peter Thiemann,
Kathrin Lehmann,
Peter Thiemann,
2006,
ETRICS.
Peter Thiemann,
Phillip Heidegger,
2010,
ECOOP.
Peter Thiemann,
Peter Thiemann,
1993,
PEPM '93.
Peter Thiemann,
Stefan Wehr,
Markus Degen,
2007,
ECOOP.
Peter Thiemann,
Martin Sulzmann,
Peter Thiemann,
2017,
ICTAC.
Peter Thiemann,
Andreas Schlegel,
Matthias Keil,
2015,
ECOOP.
Peter Thiemann,
Matthias Neubauer,
Peter Thiemann,
2008,
ICALP.
Peter Thiemann,
Luminous Fennell,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Peter Thiemann,
Stefan Wehr,
Peter Thiemann,
2009,
GPCE '09.
Peter Thiemann,
Matthias Neubauer,
Peter Thiemann,
2003,
ICFP '03.
Peter Thiemann,
Peter Thiemann,
2003,
SAS.
Peter Thiemann,
Konrad Anton,
2010,
Trends in Functional Programming.
Peter Thiemann,
Herbert Klaeren,
1990,
Struct. Program..
Peter Thiemann,
2003
.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2015,
ECOOP.
Dirk Draheim,
Gerald Weber,
Peter Thiemann,
2006,
NGITS.
Peter Thiemann,
Gabriel Radanne,
Peter Thiemann,
2018,
GPCE.
Peter Thiemann,
Matthias Neubauer,
Peter Thiemann,
2004,
PADL.
Peter Thiemann,
Luminous Fennell,
2012,
Trends in Functional Programming.
Peter Thiemann,
Gabriel Radanne,
2020,
Proc. ACM Program. Lang..
Peter Thiemann,
1993,
AMAST.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2015,
Dagstuhl Artifacts Ser..
Peter Thiemann,
2017,
SAC.
Peter Thiemann,
2014,
Ershov Memorial Conference.
Robert Glück,
Olivier Danvy,
Peter Thiemann,
1996
.
Peter Thiemann,
Cristiano Calcagno,
Simon Helsen,
2002,
Inf. Comput..
Peter Thiemann,
Phillip Heidegger,
Peter Thiemann,
2010,
TOOLS.
Torben Æ. Mogensen,
Peter Thiemann,
John Hatcliff,
1998
.
Manuel M. T. Chakravarty,
Peter Thiemann,
2012,
IFL.
Peter Thiemann,
Michael Sperber,
Peter Thiemann,
2000,
TOPL.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2015,
ArXiv.
Peter Thiemann,
Stefan Wehr,
2010,
New Generation Computing.
Peter Thiemann,
Johannes Rudolph,
2010,
High. Order Symb. Comput..
Peter Thiemann,
Matthias Neubauer,
Peter Thiemann,
2002,
ICFP '02.
Annette Bieniusa,
Peter Thiemann,
Arie Middelkoop,
2010,
PODC '10.
Peter Thiemann,
Stefan Wehr,
2009,
APLAS.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2014,
FSTTCS.
Peter Thiemann,
Matthias Neubauer,
Michael Sperber,
2002,
POPL '02.
Peter Thiemann,
Simon Helsen,
Peter Thiemann,
2001,
HOOTS.
Peter Thiemann,
Vasco Thudichum Vasconcelos,
V. Vasconcelos,
2016,
ICFP.
Peter Thiemann,
Matthias Neubauer,
2008,
PPDP '08.
Peter Thiemann,
Michael Sperber,
1995,
PEPM '95.
Peter Thiemann,
Peter Thiemann,
2003,
Journal of Functional Programming.
Peter Thiemann,
Stefan Wehr,
Peter Thiemann,
2011,
TOPL.
Peter Thiemann,
Peter Thiemann,
2022
.
Peter Thiemann,
1994,
PEPM.
Peter Thiemann,
Peter Thiemann,
2002,
WFLP.
Peter Thiemann,
Matthias Neubauer,
Peter Thiemann,
2004,
LDTA@ETAPS.
Peter Thiemann,
Martin Sulzmann,
2015,
LATA.
Peter Thiemann,
John Hughes,
Dirk Dussart,
1997,
ICFP '97.
Peter Thiemann,
2002,
ESOP.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2013,
PLAS '13.
Peter Thiemann,
Peter Thiemann,
2001,
ESOP.
Peter Thiemann,
Martin Sulzmann,
Kai Stadtmüller,
2016,
APLAS.
Robert Glück,
Olivier Danvy,
Peter Thiemann,
1996
.
Peter Thiemann,
1993,
WSA.
Peter Thiemann,
Phillip Heidegger,
Peter Thiemann,
2012,
J. Object Technol..
Peter Thiemann,
Michael Sperber,
Peter Thiemann,
1996,
PLDI '96.
Olivier Danvy,
Peter Thiemann,
Ian Zerny,
2013,
IFL '13.
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Peter Thiemann,
1994,
Leitfäden der Informatik.
Peter Thiemann,
Christian Schindelhauer,
Faisal Aslam,
2011,
SenSys.
Peter Thiemann,
1998,
Partial Evaluation.
Peter Thiemann,
Matthias Keil,
2015,
ICFP.
Peter Thiemann,
Phillip Heidegger,
2011,
TOOLS.
Peter Thiemann,
1993,
Comput. Lang..
Peter Thiemann,
Simon Helsen,
1998,
ASIAN.
Peter Thiemann,
2014
.
Peter Thiemann,
Luminous Fennell,
2016,
ECOOP.
Peter Thiemann,
Martin Sulzmann,
2017,
ArXiv.
Peter Thiemann,
Peter Thiemann,
2014,
TGC.
Peter Thiemann,
2000,
PADL.
Gilles Barthe,
Peter Thiemann,
Peter Dybjer,
2001
.
Peter Thiemann,
2005,
DBPL.
Peter Thiemann,
Michael Sperber,
Peter Thiemann,
1997,
PLDI '97.
Peter Thiemann,
2003,
Haskell '03.
Peter Thiemann,
Stefan Wehr,
Markus Degen,
2010,
J. Log. Algebraic Methods Program..
Peter Thiemann,
2016,
ArXiv.
Peter Thiemann,
Michael Sperber,
Herbert Klaeren,
1997,
PASCO '97.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2015
.
Peter Thiemann,
Hannes Saffrich,
Manuel Geffken,
2014,
ICTAC.
Annette Bieniusa,
Peter Thiemann,
Stefan Wehr,
2008,
2008 International Conference on Computer Science and Software Engineering.
Philip Wadler,
Richard Hull,
Peter Thiemann,
2007,
Programming Paradigms for the Web: Web Programming and Web Services.
Peter Thiemann,
2002,
PEPM.
Peter Thiemann,
Martin Sulzmann,
2017,
APLAS.
Fritz Henglein,
Shriram Krishnamurthi,
Peter Thiemann,
2014,
Dagstuhl Reports.
Philip Wadler,
Peter Thiemann,
Jeremy G. Siek,
2015,
Journal of Functional Programming.
Peter Thiemann,
Matthias Keil,
Peter Thiemann,
2016,
ArXiv.
Gilles Barthe,
Peter Thiemann,
Peter Dybjer,
2004,
J. Funct. Program..
Robert Glück,
Olivier Danvy,
Peter Thiemann,
1998,
CSUR.
Peter Thiemann,
Luminous Fennell,
2016,
Dagstuhl Artifacts Ser..
Wei-Ngan Chin,
Olivier Danvy,
Peter Thiemann,
2004,
High. Order Symb. Comput..
Peter Thiemann,
Stefan Wehr,
Markus Degen,
2012,
PEPM '12.
Yang Zhang,
Peter Thiemann,
Kenichi Asai,
2014,
PPDP '14.
Peter Thiemann,
Julia L. Lawall,
J. Lawall,
1997,
TACS.
Annette Bieniusa,
Peter Thiemann,
Phillip Heidegger,
2012,
POPL '12.
Peter Thiemann,
Robert Jakob,
2013,
ArXiv.
Gidon Ernst,
Peter Thiemann,
Christian Schindelhauer,
2010,
DCOSS.
Peter Thiemann,
2005,
ESOP.
Peter Thiemann,
2016,
CIAA.
Peter Thiemann,
Martin Sulzmann,
2016,
LATA.
Robert Glück,
Olivier Danvy,
Peter Thiemann,
2021
.
Peter Thiemann,
Vasco T. Vasconcelos,
Andreia Mordido,
2021,
ArXiv.
Peter Thiemann,
Fernando Cristiani,
2021,
MPLR.
Peter Thiemann,
Thi Thu Ha Doan,
2021,
APLAS.
Peter Thiemann,
Hannes Saffrich,
2021,
COORDINATION.
Peter Thiemann,
Weili Fu,
Fabian Krause,
2021,
Proc. ACM Program. Lang..
Peter Thiemann,
Michael Sperber,
Martin Gasbichler,
2001
.
Peter Thiemann,
Matthias Neubauer,
2007
.