BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Finland
1 × Germany
1 × Italy
1 × Poland
1 × United Kingdom
2 × USA
Collaborated with:
D.Sannella N.Benton V.Nigam
Talks about:
type (5) abstract (3) logic (3) behaviour (2) program (2) increas (2) system (2) linear (2) higher (2) comput (2)

Person: Martin Hofmann 0001

DBLP DBLP: 0001:Martin_Hofmann

Facilitated 2 volumes:

TLCA 2003Ed

Contributed to:

LICS 20052005
ICALP 20042004
POPL 20022002
TLCA 20012001
ESOP 20002000
LICS 19991999
CSL 19971997
TLCA 19951995
PPDP 20162016

Wrote 11 papers:

LICS-2005-Hofmann #approach
Proof-Theoretic Approach to Description-Logic (MH0), pp. 229–237.
ICALP-2004-Hofmann #logic #question #type system #what
What Do Program Logics and Type Systems Have in Common? (MH0), pp. 4–7.
The strength of non-size increasing computation (MH0), pp. 260–269.
TLCA-2001-Hofmann #behaviour #bound #complexity #memory management #type system #using
From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour (MH0), pp. 2–3.
ESOP-2000-Hofmann #bound #functional #type system
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract (MH0), pp. 165–179.
LICS-1999-Hofmann #analysis #higher-order #semantics #syntax
Semantical Analysis of Higher-Order Abstract Syntax (MH0), pp. 204–213.
LICS-1999-Hofmann99a #linear #polynomial
Linear Types and Non-Size-Increasing Polynomial Time Computation (MH0), pp. 464–473.
CSL-1997-Hofmann #linear #recursion #λ-calculus
A Mixed Modal/Linear λ Calculus with Applications to Bellantoni-Cook Safe Recursion (MH0), pp. 275–294.
A Simple Model for Quotient Types (MH0), pp. 216–234.
TAPSOFT-1995-HofmannS #abstraction #behaviour #higher-order #logic #on the
On Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic (MH0, DS), pp. 247–261.
PPDP-2016-Benton0N #concurrent #source code
Effect-dependent transformations for concurrent programs (NB, MH0, VN), pp. 188–201.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.