A Modular Type Reconstruction Algorithm

Rabe F (2017)

Publication Type: Journal article

Publication year: 2017

Journal

ACM Transactions on Computational Logic Association for Computing Machinery (ACM)

Authors with CRIS profile

Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Rabe, F. (2017). A Modular Type Reconstruction Algorithm. ACM Transactions on Computational Logic.

MLA:

Rabe, Florian. "A Modular Type Reconstruction Algorithm." ACM Transactions on Computational Logic (2017).

BibTeX: Download