Charles Stewart | Lambda the Ultimate

Charles Stewart

view
track

Personal information

Country:
Germany

Gender:
male

Interests:

Logic, semantics, computation.

History

Member for:
16 years 23 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Transient internet is transient
3 days 6 hours ago
Onward and upward
1 week 2 days ago
why oh why oh why
1 week 2 days ago
I'm aware of that.
1 week 3 days ago
virtual (polymorphism) and non virtual (method call)
1 week 4 days ago
Ergh.
1 week 4 days ago
I used the terms "upward"
1 week 4 days ago
***
1 week 4 days ago
Haskell, Agad, Rust, Coq, HOL ?
1 week 4 days ago
Argument dependant lookup
1 week 4 days ago