C B Jay, E Moggi and G Belle "Functors, Types and Shapes"

Languages mentioned

• FISh {1997}