Dominic Mulligan

dominic-mulligan.co.uk
Cambridge, United Kingdom
Member for 11 years, 1 month

Reputation

847

847
802
757

2018
2019
2020
2021

Top tag

type-theory

Next privilege

1,000 Rep.

See votes

Badges

9

15

Newest

Yearling

Next badge

0/1

Impact

2 posts edited

0 helpful flags

61 votes cast

36 Tags

0 big-list × 5	0 examples	3 operational-semantics	0 research-practice
2 career	3 fl.formal-languages	24 pl.programming-languages × 5	3 semantics
8 compilers	16 functional-programming × 3	4 program-verification	2 soft-question × 3
0 conferences	3 imperative-programming	25 proof-assistants × 3	0 survey
13 coq × 2	0 implementation	0 proofs	7 time-complexity
4 db.databases	7 lambda-calculus	0 proof-techniques	0 topology
11 dependent-type × 2	34 lo.logic × 5	6 proof-theory	3 type-inference
0 ds.algorithms	4 ne.neural-evol	3 property-testing	8 type-systems
4 ds.data-structures × 2	0 open-problem	6 reference-request × 3	39 type-theory × 6

Theoretical Computer Science Stack Exchange works best with JavaScript enabled