Araq

Personal information


Type systems, formal semantics, macro systems.

History


9 years 3 weeks