As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Antal Spector-Zabusky's user avatar
Antal Spector-Zabusky's user avatar
Antal Spector-Zabusky's user avatar
Antal Spector-Zabusky
  • Member for 8 years, 6 months
  • Last seen more than 1 year ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
About

Type systems, pure functional programming, and generative art. During the day, I'm a compiler engineer working on the OCaml compiler at Jane Street. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn. (he/him/his)

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
375
Is it safe to assume a GUID will always be unique?
260
Getting associated type synonyms with template Haskell
173
C/C++ Struct vs Class
162
Is there a BNF grammar of the TeX language?
161
How can I draw simple trees in LaTeX?

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.