Araq

Personal information


Type systems, formal semantics, macro systems.

History


8 years 23 weeks