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 × Canada
2 × France
Collaborated with:
S.A.Dobson E.Locuratolo K.Golub J.Moon D.Tudhope C.Jones B.Puzon M.L.Nielsen
Talks about:
tag (2) discoveri (1) standard (1) develop (1) databas (1) system (1) social (1) reason (1) formal (1) enhanc (1)

Person: Brian Matthews

DBLP DBLP: Matthews:Brian

Contributed to:

ECOOP 20002000
World Congress on Formal Methods 19991999
RTA 19931993
JCDL 20092009

Wrote 4 papers:

Ionic Types (SAD, BM), pp. 296–312.
FM-v1-1999-MatthewsL #database #development
Formal Development of Databases in ASSO and B (BM, EL), pp. 388–410.
RTA-1993-Matthews #equation #ml #named #reasoning #standard
MERILL: An Equational Reasoning System in Standard ML (BM), pp. 441–445.
JCDL-2009-GolubMTJMPN #named #social
EnTag: enhancing social tagging for discovery (KG, JM, DT, CJ, BM, BP, MLN), pp. 163–172.

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.