[Haskell-cafe] "Computational Category Theory" in Haskell

Dan Weston westondan at imageworks.com
Mon Feb 25 15:27:03 EST 2008

Previous message: [Haskell-cafe] GSoC 2008
Next message: [Haskell-cafe] "Computational Category Theory" in Haskell
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Has anyone already ported to Haskell the ML code in Rydeheard and 
Burstall, "Computational Category Theory"?

Dan

Previous message: [Haskell-cafe] GSoC 2008
Next message: [Haskell-cafe] "Computational Category Theory" in Haskell
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list