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 × France
1 × United Kingdom
Collaborated with:
A.S.Murawski C.L.Ong D.Hopkins
Talks about:
automata (2) memori (2) class (2) nest (2) ml (2) fragment (1) extend (1) branch (1) decid (1) weak (1)

Person: Conrad Cotton-Barratt

DBLP DBLP: Cotton-Barratt:Conrad

Contributed to:

FoSSaCS 20152015
LATA 20152015
ESOP 20172017

Wrote 3 papers:

FoSSaCS-2015-Cotton-BarrattH #automaton #decidability #memory management #ml
Fragments of ML Decidable by Nested Data Class Memory Automata (CCB, DH, ASM, CHLO), pp. 249–263.
LATA-2015-Cotton-BarrattMO #automaton #memory management
Weak and Nested Class Memory Automata (CCB, ASM, CHLO), pp. 188–199.
ESOP-2017-Cotton-BarrattM #branch #ml
ML and Extended Branching VASS (CCB, ASM, CHLO), pp. 314–340.

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.