Araq

Personal information


Type systems, formal semantics, macro systems.

History


12 years 5 weeks