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 | 6594 reads

Browse archives

Active forum topics

New forum topics

Recent comments

See §3.4 for quibbles about definitions
1 week 2 days ago
(duplicate, dunno how to delete)
1 week 2 days ago
(duplicate, dunno how to delete)
1 week 2 days ago
(duplicate)
1 week 2 days ago
Multiple Dispatch is in §9.3
1 week 2 days ago
Tilting at windmills
28 weeks 6 days ago
Yah but there's a point to it.
29 weeks 6 hours ago
methods are to a type as wool is to water
29 weeks 19 hours ago
Do methods "belong to" a type? If so how do you decide which?
29 weeks 1 day ago
§3.1.4 OO isn’t Encapsulation [deleted]
29 weeks 4 days ago