Verifying haskell programs using constructive type theory - Sciweavers

56

click to vote

more HASKELL 2005 ...

www2.tcs.ifi.lmu.de

Tweet