Computer Science
Apoorv's user avatar
Apoorv's user avatar
Apoorv's user avatar
Apoorv
  • Member for 9 years, 2 months
  • Last seen more than a week ago
Profile Activity
Stats
659
reputation
3k
reached
12
answers
2
questions
Communities
View all
About

Graduate Student interested in Programming languages, type systems, mathematical logic and a bit of philosophy

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
15
bronze badges
Top tags
View all tags
17
Score
4
Posts
29
Posts %
15
Score
6
Posts
43
Posts %
14
Score
9
Posts
64
Posts %
14
Score
3
Posts
21
Posts %
11
Score
3
Posts
21
Posts %
5
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
13
What do the ∀ and ∃ symbols mean in the Axiom of Choice?
Jan 10, 2020
answer
8
What is meant by a full abstract model of a lambda-calculus like language?
Nov 8, 2019
question
6
Why is the type ∀t.t un-inhabited in System F?
Jan 20, 2020
answer
5
What should I read to understand semantics of programming languages?
Jan 9, 2020
answer
3
What are the difference and relation between type checking and type reconstruction?
Nov 6, 2019
question
2
Is there any formalization of GADTs implemented in OCaml?
Feb 20
answer
2
Is $\Gamma \vdash x x : T$ possible in the simply typed lambda calculus?
Nov 6, 2019
answer
2
What is the property of a PL that extracting a subroutine should not change the meaning?
Jan 12, 2020
answer
1
An operational semantics for lambda-calculus normal order evaluation strategy
Nov 6, 2019
answer
1
NPDA question about accepting condition
Nov 6, 2019
Top network posts
View all network posts
7
Are chained maps optimized by compiler?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.