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 × Czech Republic
1 × Singapore
1 × USA
Collaborated with:
J.Aldrich A.Bogk L.Nistor S.Balzer
Talks about:
dylan (2) type (2) snapshot (1) proposit (1) permiss (1) manipul (1) languag (1) typest (1) system (1) specif (1)

Person: Hannes Mehnert

DBLP DBLP: Mehnert:Hannes

Contributed to:

FM 20142014
TOOLS Europe 20122012
ILC 20102010
ILC 20072007

Wrote 4 papers:

Object Propositions (LN, JA, SB, HM), pp. 497–513.
TOOLS-EUROPE-2012-MehnertA #type system #using #verification
Verification of Snapshotable Trees Using Access Permissions and Typestate (HM, JA), pp. 187–201.
ILC-2010-Mehnert #detection #fault #type inference #type system
Extending Dylan’s type system for better type inference and error detection (HM), pp. 1–10.
ILC-2007-MehnertB #domain-specific language
A domain-specific language for manipulation of binary data in Dylan (HM, AB), p. 22.

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.