Functorial ML. Pages 32--46 of (1996)

by G Bell'e, C B Jay
Venue:Proceedings of plilp '96. Springer Lecture Notes in Computer Science