Skip to main content
Max Heiber's user avatar
Max Heiber's user avatar
Max Heiber's user avatar
Max Heiber
  • Member for 7 years, 10 months
  • Last seen this week
4 votes
1 answer
175 views

What's the relationship between "semantic type soundness" and "functional correctness"?

9 votes
3 answers
1k views

Can a total programming language be Turing-complete?

0 votes
0 answers
22 views

What are the similarities and differences between dependent function application and ML functor application?

2 votes
1 answer
185 views

How do type classes make ad-hoc polymorphism less ad hoc?

1 vote
0 answers
56 views

How is a homeomorphic embedding a homeomorphism?

1 vote
1 answer
86 views

Is there a relationship between visitor pattern and DeMorgan's Law?

4 votes
1 answer
326 views

Is occurrence typing (flow-sensitive typing) a form of dependent typing?

4 votes
0 answers
194 views

What are the applications of homotopy type theory to everyday programming?

4 votes
1 answer
390 views

Why are all polymorphic functions between functors natural transformations?

3 votes
1 answer
3k views

How to generate an LL(2) parse table?