Вы здесь

Главная

Mogensen T.A. E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Linear Types for Cashflow Reengineering 2003 Mogensen T.A. E. Lecture Notes in Computer Science 18.02.2004
СТ Linear Time Self-Interpretation of the Pure Lambda Calculus 2000 Mogensen T.A. E. Lecture Notes in Computer Science 18.02.2000
СТ Partial Evaluation: Concepts and Applications 1999 Mogensen T.A. E. Lecture Notes in Computer Science 15.12.1999
СТ Inherited Limits 1999 Mogensen T.A. E. Lecture Notes in Computer Science 15.12.1999
СТ Types for 0, 1 or Many Uses 1998 Mogensen T.A. E. Lecture Notes in Computer Science 08.10.1998
СТ Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus 1995 Mogensen T.A. E. Proc. of the ACM SIGPLAN Symp. on Partial Evaluation and Semantics-Based Program Manipulation 13.08.1997
СТ A Semantics-Based Determinacy Analysis for Prolog with Cut 1996 Mogensen T.A. E. Lecture Notes in Computer Science 15.02.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ The Essence of Computation - Complexity, Analysis, Transformation 2002 Lecture Notes in Computer Science
  1. Mogensen T.A. E.
  2. Schmidt D. A.
  3. Sudborough I. H.
 Essays Dedicated to Neil D.Jones 11.02.2003
СБ 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