codyroux | Lambda the Ultimate

codyroux

view
track

Personal information

Biography:

phd in Loria, france in Pareo team

Interests:

lambda calculus, dependent types, logic, termination

History

Member for:
17 years 51 weeks

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
29 weeks 4 hours ago
Yah but there's a point to it.
29 weeks 11 hours ago
methods are to a type as wool is to water
29 weeks 1 day 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