User loginNavigation |
obj vs. ml vs. coq (fight?)the omega thread had me re-perusing the web about things like coq, and i noticed it can extract to haskell, ocaml, or scheme. which got me wondering if it could be a daily programming tool that would help give some portability to the shipped executables. a scary route to get there, but maybe interesting. then i found a paper talking about that a bit:
er - not surprising conclusion, i guess. By raould at 2010-09-27 23:30 | LtU Forum | previous forum topic | next forum topic | other blogs | 6074 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 3 days ago
13 weeks 3 days ago
13 weeks 3 days ago
35 weeks 4 days ago
39 weeks 6 days ago
41 weeks 3 days ago
41 weeks 3 days ago
44 weeks 1 day ago
48 weeks 5 days ago
48 weeks 5 days ago