Skip to main content
Theoretical Computer Science
Labbekak's user avatar
Labbekak's user avatar
Labbekak's user avatar
Labbekak
  • Member for 7 years, 3 months
  • Last seen more than a month ago
  • Netherlands
Profile Activity
Stats
701
reputation
4k
reached
1
answer
14
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
View all tags
2
Score
5
Posts
33
Posts %
2
Score
5
Posts
33
Posts %
2
Score
5
Posts
33
Posts %
2
Score
2
Posts
13
Posts %
0
Score
4
Posts
27
Posts %
0
Score
4
Posts
27
Posts %
Top posts
View all questions and answers
question
8
Question on subtyping of handlers in "An Effect System for Algebraic Effects and Handlers"
May 6, 2018
question
7
Termination checking for Scott-encodings in System F with positive-recursive types
May 2, 2019
question
7
Example of a function that you can write in Calculus of Constructions but not in System-F
Sep 7, 2019
question
5
Is the Mendler-encoding in System-F adequate?
Mar 1, 2021
question
4
Church-style CoC with axiom for induction over Church-encoded unit, is it consistent?
Mar 19, 2020
question
4
Questions about algebraic effects and handlers, decomposed handlers
Aug 30, 2017
question
4
Locally-nameless normalization
Sep 14, 2017
question
3
Type of induction principle for fixpoint types
Jan 28, 2020
question
3
Is System-F with higher-kinded newtypes equivalent in computational power to System-F omega?
Oct 1, 2019
question
3
Parigot encoding for F-Algebras
Apr 19, 2020
Top network posts
View all network posts
12
Identity function in Haskell has multiple inhabitants?
12
Why does Coq include let-expressions in its core language
8
Playing a chord with OscillatorNodes using the Web Audio API
5
In a dependently typed programming language is Type-in-Type practical for programming?
5
Abstractions in call-by-push-value