
9 May
2012
9 May
'12
1:42 a.m.
A paper, LLVM M.D.: A Denotational Translation Validator, mentions the source code for LLVM M.D is available here: http://llvm-md.seas.harvard.edu/ I can't seem to spot it there or on Hackage. Anyone seen it? Thanks, Greg
4806
Age (days ago)
4806
Last active (days ago)
0 comments
1 participants
participants (1)
-
Greg Fitzgerald