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 × Switzerland
1 × USA
Collaborated with:
J.C.Mitchell S.Meldal
Talks about:
architectur (1) standard (1) program (1) inherit (1) conform (1) subtyp (1) extens (1) rapid (1) modul (1) test (1)

Person: Neel Madhav

DBLP DBLP: Madhav:Neel

Contributed to:

Ada-Europe 19961996
POPL 19911991

Wrote 2 papers:

AdaEurope-1996-Madhav #ada #architecture #consistency #source code #testing
Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.
POPL-1991-MitchellMM #inheritance #ml #standard #type system
An Extension of Standard ML Modules with Subtyping and Inheritance (JCM, SM, NM), pp. 270–278.

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.