Araq | Lambda the Ultimate

Araq

view
track

Personal information

Interests:

Type systems, formal semantics, macro systems.

History

Member for:
12 years 12 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Ah, cancel that request.
27 weeks 2 days ago
.
27 weeks 2 days ago
First-class link?
27 weeks 2 days ago
Video Presentation
49 weeks 3 days ago
Also published in ICFP
1 year 1 week ago
About identifiers...
1 year 3 weeks ago
Duplicate comment deleted.
1 year 3 weeks ago
Also true for postfix
1 year 5 weeks ago
That's all about the delimiters.
1 year 10 weeks ago
How about prefix notation?
1 year 10 weeks ago