Skip to main content
Tour
About Us
Meta
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top 400 Users
Digests
Labbekak
Netherlands
top
accounts
reputation
activity
subscriptions
Top Questions
12
votes
Identity function in Haskell has multiple inhabitants?
haskell
category-theory
asked Apr 29, 2020 at 8:46
stackoverflow.com
11
votes
Why does Coq include let-expressions in its core language
type-theory
dependent-types
type-checking
coq
asked Sep 11, 2019 at 14:19
cs.stackexchange.com
8
votes
Playing a chord with OscillatorNodes using the Web Audio API
javascript
api
web-audio
asked Jan 13, 2013 at 20:51
stackoverflow.com
8
votes
Question on subtyping of handlers in "An Effect System for Algebraic Effects and Handlers"
pl.programming-languages
asked May 6, 2018 at 15:10
cstheory.stackexchange.com
7
votes
Termination checking for Scott-encodings in System F with positive-recursive types
lambda-calculus
type-systems
typed-lambda-calculus
recursion
asked May 2, 2019 at 12:39
cstheory.stackexchange.com
7
votes
Example of a function that you can write in Calculus of Constructions but not in System-F
type-systems
calculus-of-constructions
asked Sep 7, 2019 at 12:45
cstheory.stackexchange.com
5
votes
Is the Mendler-encoding in System-F adequate?
type-systems
typed-lambda-calculus
encoding
asked Mar 1, 2021 at 11:12
cstheory.stackexchange.com
5
votes
What untyped term inhabits induction on natural numbers in CoC?
lambda-calculus
type-theory
dependent-types
calculus-of-constructions
asked Jul 8, 2019 at 15:07
cs.stackexchange.com
5
votes
Locally-nameless normalization
lambda-calculus
asked Sep 14, 2017 at 18:28
cstheory.stackexchange.com
5
votes
In a dependently typed programming language is Type-in-Type practical for programming?
dependent-type
type-theory
asked May 21, 2020 at 8:53
stackoverflow.com
1
2
next
Top Answers
No answers with score of 5 or more