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 × Australia
1 × Cyprus
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
J.Whittle A.Bundy M.Jackson R.J.Boulton D.Duncan S.Neely D.M.Eyers J.Bacon J.Newman X.Gong
Talks about:
descript (2) barnacl (2) system (2) editor (2) proof (2) learn (2) ml (2) architectur (1) distribut (1) standard (1)

Person: Helen Lowe

DBLP DBLP: Lowe:Helen

Contributed to:

SAC 20042004
CADE 20002000
ASE 19991999
CADE 19991999
CADE 19971997
PLILP 19971997

Wrote 6 papers:

SAC-2004-NeelyLEBNG #architecture #distributed #learning
An architecture for supporting vicarious learning in a distributed environment (SN, HL, DME, JB, JN, XG), pp. 963–970.
CADE-2000-JacksonL #interactive #proving
System Description: Interactive Proof Critics in XBarnacle (MJ, HL), pp. 502–506.
ASE-1999-WhittleBBL #editing #ml
An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.
System Description: CyNTHIA (JW, AB, RJB, HL), pp. 388–392.
CADE-1997-LoweD #named #proving #theorem proving
XBarnacle: Making Theorem Provers More Accessible (HL, DD), pp. 404–407.
PLILP-1997-WhittleBL #editing #ml #standard
An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.

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.