Вы здесь

Главная

Thiemann P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ LaToKi: A Language Tookit for Bottom-Up Evaluation of Functional Programs 1992 Thiemann P. Lecture Notes in Computer Science 15.10.1992
СТ Avoiding Repeated Tests in Pattern Matching 1993 Thiemann P. Lecture Notes in Computer Science 11.12.1993
СТ Higher-Order Redundancy Elimination 1994 Thiemann P. PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation 20.01.1995
СТ The Essence of LR Parsing 1995 Sperber M., Thiemann P. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ Realistic Compilation by Partial Evaluation 1996 Sperber M., Thiemann P. SIGPLAN Notices 16.10.1996
СТ Polyvariant Expansion and Compiler Generators 1996 Thiemann P., Sperber M. Lecture Notes in Computer Science 15.02.1997
СТ Synchronization Analyses for Multiple Recursion Parameters 1996 Chin W. -N., Khoo S. -C., Thiemann P. Lecture Notes in Computer Science Partial Evaluation 09.10.1996
СТ Implementing Memoization for Partial Evaluation 1996 Thiemann P. Lecture Notes in Computer Science 20.11.1996
СТ Type Specialisation for Imperative Languages 1997 Dussart D., Hughes J., Thiemann P. SIGPLAN Notices 01.10.1997
СТ Two for the Price of One: Composing Partial Evaluation and Compilation 1997 Sperber M., Thiemann P. SIGPLAN Notices 09.07.1997
СТ Single and Loving It: Must-Alias Analysis for Higher-Order Languages 1998 Jagannathan S., Thiemann P., Weeks S., Wright A. Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages 14.05.1998
СТ Two Flavors of Offline Partial Evaluation 1998 Helsen S., Thiemann P. Lecture Notes in Computer Science 18.12.1998
СТ A Generic Framework for Specialization 1998 Thiemann P. Lecture Notes in Computer Science 17.04.1998
СТ Formalizing Resource Allocation in a Compiler 1998 Thiemann P. Lecture Notes in Computer Science 24.09.1998
СТ Aspects of the PGG System: Specialization for Standard Scheme 1999 Thiemann P. Lecture Notes in Computer Science 15.12.1999
СТ Higher-Order Code Splicing 1999 Thiemann P. Lecture Notes in Computer Science 07.04.1999
СТ Fragmental Specialization 2000 Helsen S., Thiemann P. Lecture Notes in Computer Science 24.10.2000
СТ An Algebraic Foundation for Adaptive Programming 2000 Thiemann P. Lecture Notes in Computer Science 25.04.2000
СТ Compiling Adaptive Programs by Partial Evaluation 2000 Thiemann P. Lecture Notes in Computer Science 22.04.2000
СТ Modeling HTML in Haskell 2000 Thiemann P. Lecture Notes in Computer Science 03.02.2000
СТ A Prototype Dependency Calculus 2002 Thiemann P. Lecture Notes in Computer Science 08.05.2002
СТ Continuation-Based Partial Evaluation without Continuations 2003 Thiemann P. Lecture Notes in Computer Science 18.09.2003
СТ An Implementation of Session Types 2004 Neubauer M., Thiemann P. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Partial Evaluation: Selected Papers/ International Seminar. Dagstuhl Castle,Germany,February 1996 1996 Lecture Notes in Computer Science
  1. Danvy O.
  2. Gluck R.
  3. Thiemann P.
 02.10.1996
СБ Partial Evaluation - Practice and Theory: Proc./DIKU 1998 Intern. Summer School. Copenhagen, Denmark, July 1998 1999 Lecture Notes in Computer Science
  1. Hatcliff J.
  2. Mogensen T.A. E.
  3. Thiemann P.
 15.12.1999
СБ Functional and Logic Programming: Proc./11th International Symposium, FLOPS 2012, Kobe, Japan, 2012 2012 Lecture Notes in Computer Science
  1. Schrijvers T.
  2. Thiemann P.
 20.06.2012
СБ Programming Languages and Systems: Proc./25th European Symposium on Programming, ESOP 2016 Held as Part of ETAPS 2016, Eindhoven, The Netherlands, April 2016 2016 Lecture Notes in Computer Science
  1. Thiemann P.
 16.06.2016