User loginNavigation |
Effects in TypesI am interested in differentiating between functions with side-effects and functions without side-effects in a type-system. Does any suggestions on papers I should read, or keywords I should search for? [Edit: apart from monads] Thanks in advance! By cdiggins at 2007-02-20 20:21 | LtU Forum | previous forum topic | next forum topic | other blogs | 5785 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 7 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago