Spyros Komninos | Lambda the Ultimate

Spyros Komninos

view
track

Personal information

Interests:

algebraic specification, formal security

History

Member for:
16 years 13 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Ah, cancel that request.
25 weeks 6 days ago
.
25 weeks 6 days ago
First-class link?
25 weeks 6 days ago
Video Presentation
48 weeks 14 hours ago
Also published in ICFP
1 year 1 day ago
About identifiers...
1 year 1 week ago
Duplicate comment deleted.
1 year 1 week ago
Also true for postfix
1 year 4 weeks ago
That's all about the delimiters.
1 year 9 weeks ago
How about prefix notation?
1 year 9 weeks ago