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
Collaborated with:
Q.Miller R.Bornat J.M.Spivey
Talks about:
process (1) languag (1) concurr (1) eclect (1) calcul (1) proof (1) paper (1) infer (1) type (1) jape (1)

Person: Bernard Sufrin

DBLP DBLP: Sufrin:Bernard

Contributed to:

SAC 20002000
CADE 19971997
VDM Europe 19901990

Wrote 3 papers:

SAC-2000-MillerS #concurrent #csp #process
Eclectic CSP: A Language of Concurrent Processes (QM, BS), pp. 840–842.
CADE-1997-BornatS #named
Jape: A Calculator for Animating Proof-on-Paper (RB, BS), pp. 412–415.
VDME-1990-SpiveyS #type inference
Type Inference in Z (JMS, BS), pp. 426–451.

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.