BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
3 × USA
Collaborated with:
J.Rehof E.Ruf R.L.Constable
Talks about:
type (2) metareason (1) special (1) complet (1) bytecod (1) theori (1) subtyp (1) formal (1) elabor (1) java (1)

Person: Todd B. Knoblock

DBLP DBLP: Knoblock:Todd_B=

Contributed to:

POPL 20002000
PLDI 19961996
LICS 19861986

Wrote 3 papers:

POPL-2000-KnoblockR #bytecode #java #type system
Type Elaboration and Subtype Completion for Java Bytecode (TBK, JR), pp. 228–242.
Data Specialization (TBK, ER), pp. 215–225.
LICS-1986-KnoblockC #type system
Formalized Metareasoning in Type Theory (TBK, RLC), pp. 237–248.

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.