ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
10 Jan 1991
Type-Extension Type Test Can be Performed in Constant Time
Download paper
Abstract
No abstract available.