Skip to main content
Publication

Truly abstract interfaces for algebraic data types: the extractor typing problem

Related publications (27)