Publication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper

Type-Extension Type Test Can be Performed in Constant Time

Download paper

Abstract

No abstract available.

Date

10 Jan 1991

Publication

ACM Transactions on Programming Languages and Systems (TOPLAS)

Authors

Resources

Share