The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects

Pierre-Marie Pédrot 1, 2 Nicolas Tabareau 1, 2
1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Document type :
Journal articles
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02383109
Contributor : Pierre-Marie Pédrot <>
Submitted on : Wednesday, November 27, 2019 - 3:27:50 PM
Last modification on : Tuesday, January 21, 2020 - 1:27:53 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Pierre-Marie Pédrot, Nicolas Tabareau. The Fire Triangle: How to Mix Substitution, Dependent Elimination, and Effects. Proceedings of the ACM on Programming Languages, ACM, 2020, pp.1-28. ⟨10.1145/3371126⟩. ⟨hal-02383109⟩

Share

Metrics

Record views

80

Files downloads

49