Top network posts
- 9 Why does Coq include let-expressions in its core language
- 8 Question on subtyping of handlers in "An Effect System for Algebraic Effects and Handlers"
- 7 Termination checking for Scott-encodings in System F with positive-recursive types
- 7 Example of a function that you can write in Calculus of Constructions but not in System-F
- 5 What untyped term inhabits induction on natural numbers in CoC?
- 5 Playing a chord with OscillatorNodes using the Web Audio API
- 5 Locally-nameless normalization
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.