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: Toronto:Neil
Contributed to:
2015
2013
2012
2010Wrote 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.