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 | 8036 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 4 days ago
16 weeks 4 days ago
16 weeks 4 days ago
38 weeks 5 days ago
43 weeks 14 hours ago
44 weeks 4 days ago
44 weeks 4 days ago
47 weeks 2 days ago
52 weeks 10 min ago
52 weeks 1 hour ago