Spyros Komninos | Lambda the Ultimate

Spyros Komninos

view
track

Personal information

Interests:

algebraic specification, formal security

History

Member for:
16 years 15 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Ah, cancel that request.
27 weeks 1 day ago
.
27 weeks 1 day ago
First-class link?
27 weeks 1 day ago
Video Presentation
49 weeks 2 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