Charles Stewart | Lambda the Ultimate

Charles Stewart

view
track

Personal information

Country:
Germany

Gender:
male

URL of homepage:
http://www.textproof.com/stewart.html

Interests:

Logic, semantics, computation.

History

Member for:
9 years 24 weeks

Browse archives

Active forum topics

New forum topics

Recent comments

Go has not-so-simple parts
1 hour 21 min ago
What if Jim suspects his
3 hours 19 min ago
terminology appropriate to the audience
9 hours 45 sec ago
globals as dependency injection via interfaces
12 hours 14 min ago
i'll 'see' your 1) and 2) and raise ya
14 hours 19 min ago
pro global state
14 hours 23 min ago
!! Concurrent backward and forward chaining is available !!
18 hours 38 min ago
Prolog does not concurrently backward and forward chain :-(
20 hours 44 min ago
Coordination and Concurrency
21 hours 3 min ago
Future of Logic Programming is many-core concurrency
22 hours 39 min ago