BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Sweden
Collaborated with:
A.M.Pitts M.Gabbay
Talks about:
program (1) generat (1) unbind (1) binder (1) simpl (1) fresh (1) name (1) made (1) ml (1)

Person: Mark R. Shinwell

DBLP DBLP: Shinwell:Mark_R=

Contributed to:

POPL 20072007
ICFP 20032003

Wrote 2 papers:

POPL-2007-PittsS #generative
Generative unbinding of names (AMP, MRS), pp. 85–95.
ICFP-2003-ShinwellPG #named #programming
FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.
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.