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 × Japan
1 × The Netherlands
1 × USA
1 × United Kingdom
Collaborated with:
J.McCarthy V.St-Amour D.V.Horn
Talks about:
zfc (2) probabilist (1) bayesian (1) backward (1) theoret (1) program (1) probabl (1) paradis (1) environ (1) discret (1)

Person: Neil Toronto

DBLP DBLP: Toronto:Neil

Contributed to:

ESOP 20152015
ICFP 20132013
FLOPS 20122012
IFL 20102010

Wrote 4 papers:

ESOP-2015-TorontoMH #probability #source code
Running Probabilistic Programs Backwards (NT, JM, DVH), pp. 53–79.
ICFP-2013-St-AmourT #case study #experience #random testing #testing
Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
FLOPS-2012-TorontoM
Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.
IFL-2010-TorontoM #probability
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.

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.