Gergely Buday | Lambda the Ultimate

Gergely Buday

view
track

Personal information

Biography:

Research & Industry

Interests:

SML, Isabelle, Alexis Korner

History

Member for:
18 years 8 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Ah, cancel that request.
14 weeks 15 hours ago
.
14 weeks 19 hours ago
First-class link?
14 weeks 19 hours ago
Video Presentation
36 weeks 2 days ago
Also published in ICFP
40 weeks 3 days ago
About identifiers...
42 weeks 1 day ago
Duplicate comment deleted.
42 weeks 1 day ago
Also true for postfix
44 weeks 5 days ago
That's all about the delimiters.
49 weeks 3 days ago
How about prefix notation?
49 weeks 3 days ago