Trust in the lambda-calculus
AbstractThis paper introduces trust analysis for higher-order languages. Trust
analysis encourages the programmer to make explicit the trustworthiness of
data, and in return it can guarantee that no mistakes with respect to trust will
be made at run-time. We present a confluent lambda-calculus with explicit trust
operations, and we equip it with a trust-type system which has the subject
reduction property. Trust information in presented as two annotations of each
function type constructor, and type inference is computable in O(n^3) time.
How to Cite
Palsberg, J., & Ørbæk, P. (1995). Trust in the lambda-calculus. BRICS Report Series, 2(31). https://doi.org/10.7146/brics.v2i31.19934
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.