Skip to main content
Computer Science
Labbekak's user avatar
Labbekak's user avatar
Labbekak's user avatar
Labbekak
  • Member for 6 years, 5 months
  • Last seen more than a month ago
  • Netherlands
Profile Activity
Stats
565
reputation
5k
reached
1
answer
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
11
bronze badges
Top tags
View all tags
3
Score
8
Posts
57
Posts %
0
Score
7
Posts
50
Posts %
0
Score
3
Posts
21
Posts %
0
Score
2
Posts
14
Posts %
0
Score
2
Posts
14
Posts %
0
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
11
Why does Coq include let-expressions in its core language
Sep 11, 2019
5
Abstractions in call-by-push-value
Feb 5, 2018
5
What untyped term inhabits induction on natural numbers in CoC?
Jul 8, 2019
4
Composition of handler types in algebraic effects and handlers
Feb 5, 2018
3
Type inference for System F-omega
Jul 11, 2019
3
Calculus of constructions, type-in-type and recursion
Aug 25, 2019
3
How does the `Word` type work in Kind Lang?
Jan 27, 2022
2
Restrictions needed on ADT for totality
Jun 21, 2018
2
Call-by-push-value vs Fine-grain Call-by-value
Aug 15, 2018
2
Optimization of Church-encoded booleans in System F
May 10, 2019
Top network posts
View all network posts
12
Identity function in Haskell has multiple inhabitants?
8
Playing a chord with OscillatorNodes using the Web Audio API
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