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

88

Voted

more PEPM 2010 ...

www4.in.tum.de

Tweet