Safe Adaptation Through Implicit Effect Coercion

DOI10.1007/978-3-319-25527-9_10zbMath1434.68061OpenAlexW2295404224MaRDI QIDQ3460866

Gianluca Mezzetti, Letterio Galletta, Davide Basile

Publication date: 8 January 2016

Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25527-9_10

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• Featherweight Java
• ContextFJ
• JCop

Cites Work

• A theory of typed coercions and its applications
• Linguistic Mechanisms for Context-Aware Security
• Types and trace effects of higher order programs
• Types and Effects for Resource Usage Analysis

This page was built for publication: Safe Adaptation Through Implicit Effect Coercion