The Epigram Blog | Lambda the Ultimate

The Epigram Blog

Epigram, a dependently typed PL, has a blog cleverly titled Epilogue.

By Jim Apple at 2005-05-11 11:49 | LtU Forum | previous forum topic | next forum topic | other blogs | 6377 reads

Browse archives

Active forum topics

New forum topics

Recent comments

My preferred design choices
5 weeks 4 days ago
Delimited continuations don't parallelize well.
5 weeks 5 days ago
With Unicode, Character as a type is in fact meaningless.
5 weeks 6 days ago
With Unicode, Character as a type is in fact meaningless.
5 weeks 6 days ago
...people claim about C++
6 weeks 4 days ago
Terminology counts
6 weeks 4 days ago
Terminology counts
6 weeks 4 days ago
Yeah, been there...
9 weeks 5 days ago
Don't throw away a useful tool
10 weeks 4 days ago
Right. That's an example.
10 weeks 4 days ago