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 × Germany
1 × The Netherlands
1 × United Kingdom
Collaborated with:
B.Jacobs L.A.Dennis G.Collins M.Norrish R.J.Boulton K.Slind G.Robinson M.J.C.Gordon
Talks about:
translat (1) function (1) toolkit (1) theorem (1) reflect (1) prosper (1) languag (1) theori (1) integr (1) higher (1)

Person: Thomas F. Melham

DBLP DBLP: Melham:Thomas_F=

Contributed to:

IFM 20042004
TACAS 20002000
TLCA 19931993

Wrote 3 papers:

IFM-2004-Melham #functional #model checking #proving #theorem proving
Integrating Model Checking and Theorem Proving in a Reflective Functional Language (TFM), pp. 36–39.
TACAS-2000-DennisCNBSRGM #tool support
The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
TLCA-1993-JacobsM #dependent type #higher-order #logic #type system
Translating Dependent Type Theory into Higher Order Logic (BJ, TFM), pp. 209–229.

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.