Paper

www-seal

A. Dudenhefner and J. Rehof. Intersection Type Calculi of Bounded Dimension (Extended Version). Technical Report 857, Faculty of Computer Science (TU Dortmund), 2016. http://www-seal.cs.tu-dortmund.de/seal/downloads/ research/cls/TR857-DIM.pdf.

2016

Created by ACM worker at 2019-04-10 11:28:02.0.
Last updated by ACM worker at 2019-04-10 13:51:06.0.
Simplified Graph of Associations
Word Cloud
Quid