DMCA

An Embedded Geometrical Language in Haskell: Construction, Visualisation, Proof

by Maria Grima , Gordon J. Pace
Citations:2 - 1 self