BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
Collaborated with:
∅
Talks about:
treatment (1) polymorph (1) specifi (1) languag (1) system (1) specif (1) semant (1) type (1)

Person: Dieter Nazareth

DBLP DBLP: Nazareth:Dieter

Contributed to:

ALP 19961996

Wrote 2 papers:

ALP-1996-Nazareth #specification #type system
Specifying Type Systems (DN), pp. 314–329.
ALP-1996-Nazareth96a #polymorphism #semantics #specification
The Semantic Treatment of Polymorphic Specification Languages (DN), pp. 330–344.
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.