User loginNavigation |
The work of Atsushi OhoriI mentioned this somewhat passingly a few years ago. So not to make the same mistake again, I'm reposting this as a top-level post (and with current links). His list of publications and the recent ones. Some relatively recent work by him discussed on LtU is here. The ones I want to highlight in particular are his applications of the Curry-Howard correspondence to machine code generation and such topics. By Derek Elkins at 2007-09-01 02:43 | LtU Forum | previous forum topic | next forum topic | other blogs | 8081 reads
|
Browse archives
Active forum topics |
Recent comments
27 weeks 1 day ago
27 weeks 2 days ago
27 weeks 2 days ago
49 weeks 3 days ago
1 year 1 week ago
1 year 3 weeks ago
1 year 3 weeks ago
1 year 5 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago