Gradual System F von Labrada, Elizabeth, Toro, Matías, Tanter, Éric

Volltext

Join point interfaces for safe and flexible decoupling of aspects von Bodden, Eric, Tanter, Éric, Inostroza, Milton

Volltext

Propositional equality for gradual dependently typed programming von Eremondi, Joseph, Garcia, Ronald, Tanter, Éric

Volltext

Gradually structured data von Malewski, Stefan, Greenberg, Michael, Tanter, Éric

Volltext

Equivalences for free: univalent parametricity for effective transport von Tabareau, Nicolas, Tanter, Éric, Sozeau, Matthieu

Volltext

Dijkstra monads for all von Maillard, Kenji, Ahman, Danel, Atkey, Robert, Martínez, Guido, Hriţcu, Cătălin, Rivas, Exequiel, Tanter, Éric

Volltext

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation von Abate, Carmine, Blanco, Roberto, Ciobâcă, Ştefan, Durier, Adrien, Garg, Deepak, Hriţcu, Cătălin, Patrignani, Marco, Tanter, Éric, Thibault, Jérémy

Volltext

A reasonably gradual type theory von Maillard, Kenji, Lennon-Bertrand, Meven, Tabareau, Nicolas, Tanter, Éric

Volltext

Back to the Future: Omniscient Debugging von Pothier, G., Tanter, E.

Volltext

Type-Driven Gradual Security with References von Toro, Matías, Garcia, Ronald, Tanter, Éric

Volltext

The Marriage of Univalence and Parametricity von Tabareau, Nicolas, Tanter, Éric, Sozeau, Matthieu

Volltext

A reasonably exceptional type theory von Pédrot, Pierre-Marie, Tabareau, Nicolas, Fehrmann, Hans Jacob, Tanter, Éric

Volltext

Transactions on Aspect-Oriented Software Development XII von Chiba, Shigeru, Tanter, Eric, Ernst, Erik, Hirschfeld, Robert

Volltext

Foundations of Typestate-Oriented Programming von Garcia, Ronald, Tanter, Éric, Wolff, Roger, Aldrich, Jonathan

Volltext

Programming with Ghosts von Callau, O., Tanter, E.

Volltext

Abstracting gradual references von Toro, Matías, Tanter, Éric

Volltext

Access Control in JavaScript von Toledo, R., Tanter, E.

Volltext

Gradualizing the Calculus of Inductive Constructions von Lennon-Bertrand, Meven, Maillard, Kenji, Tabareau, Nicolas, Tanter, Éric

Volltext

Gradual Indexed Inductive Types von Malewski, Mara, Maillard, Kenji, Tabareau, Nicolas, Tanter, Éric

Volltext

Chemical foundations of distributed aspects von Tabareau, Nicolas, Tanter, Éric

Volltext