2022 Developer Survey is open! Take survey.
user avatar
user avatar
user avatar
Apoorv
  • Member for 7 years, 10 months
  • Last seen more than a week ago
13 votes
Accepted

What do the ∀ and ∃ symbols mean in the Axiom of Choice?

7 votes
Accepted

What is meant by a full abstract model of a lambda-calculus like language?

5 votes

What should I read to understand semantics of programming languages?

3 votes

What are the difference and relation between type checking and type reconstruction?

2 votes
Accepted

Is $\Gamma \vdash x x : T$ possible in the simply typed lambda calculus?

2 votes

What is the property of a PL that extracting a subroutine should not change the meaning?

1 vote

Why is the type ∀t.t un-inhabited in System F?

1 vote

What does it mean if a generic structure is type-erased?

1 vote
Accepted

An operational semantics for lambda-calculus normal order evaluation strategy

1 vote

NPDA question about accepting condition

1 vote

What is the denotation for identifiers?