Nothing Special   »   [go: up one dir, main page]

"A practical mode system for recursive definitions."

Alban Reynaud, Gabriel Scherer, Jeremy Yallop (2021)

Details and statistics

DOI: 10.1145/3434326

access: open

type: Journal Article

metadata version: 2022-01-08