Éric Tanter

Available identifiers

Publication	Date of Publication	Type
Gradual System F	2023-04-27	Paper
The Marriage of Univalence and Parametricity	2022-12-08	Paper
Trace-Relating Compiler Correctness and Secure Compilation	2022-10-13	Paper
Gradual Program Verification	2020-07-07	Paper
Review of “The Little Prover” by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015	2020-05-26	Paper
A Gradual Interpretation of Union Types	2019-09-16	Paper
Chemical foundations of distributed aspects	2019-07-11	Paper
Foundations of dependent interoperability	2018-08-03	Paper
Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model	2018-07-16	Paper
Gradual type-and-effect systems	2017-10-23	Paper
Gradual refinement types	2017-10-20	Paper
Partial type equivalences for verified dependent interoperability	2017-05-10	Paper
Abstracting gradual typing	2016-10-24	Paper
A theory of gradual effect systems	2016-09-29	Paper
Scoping strategies for distributed aspects	2010-11-25	Paper
Flexible metaprogramming and AOP in Java	2008-08-15	Paper
KALA: Kernel aspect language for advanced transactions	2008-06-25	Paper
Runtime bytecode transformation for Smalltalk	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4449574	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4440343	2003-12-16	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Éric Tanter