From higher-order logic to Haskell: there and back again - Sciweavers

36

click to vote

more PEPM 2010 ...

www4.in.tum.de

Tweet