Cardelli, Luca "Typeful Programming" RR 45, DEC SRC 1989.

Languages mentioned

• Quest {1989}