Pure Pattern Type Systems (2003)

by G Barthe, H Cirstea, C Kirchner, L Liquori
Venue:In The ACM press, editor, Proc. of POPL