When a type is a value?
Posted by Domenico Ruoppolo, at cstheory.stackexchange.com,
In functional programming and in the theoretical setting of the $\lambda$-calculus it is standard to consider a lambda…
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
Overview of attention for article published in Electronic Proceedings in Theoretical Computer Science, February 2012
Altmetric Badge
About this Attention Score
-
Average Attention Score compared to outputs of the same age
-
Above-average Attention Score compared to outputs of the same age and source (53rd percentile)
Readers on
- mendeley
- 10 Mendeley