Search for Author All Reviews
	Birkedal, Lars     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Implementing a modal dependent type theory Gratzer D., Sterling J., Birkedal L. Proceedings of the ACM on Programming Languages 3(ICFP): 1-29, 2019.  Type: Article Modalities are widely used in mathematics and computer science as an abstraction tool, but it turns out to be difficult to incorporate them in rich type theories. The authors address this problem, proposing a new dependent type theory ...... Apr 27 2021
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy