- Title
- Deciding ML typability is complete for deterministic exponential time
- Creators
- Harry Mairson - Brandeis University, Michtom School of Computer Science
- Publication Details
- Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.382-402
- Conference
- ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 17 (San Francisco, CA, USA)
- Identifiers
- 9924505535301921
- Academic Unit
- Michtom School of Computer Science; Benjamin and Mae Volen National Center for Complex Systems
- Resource Type
- Conference proceeding
Conference proceeding
Deciding ML typability is complete for deterministic exponential time
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.382-402
ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 17 (San Francisco, CA, USA)
1990
Metrics
1 Record Views