Fairbairn, J. "Ponder and its Type System", TR 31, Cambridge U Computer Lab, Nov 1982

Languages mentioned

• Ponder {1989}