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