The Fire Triangle - Archive ouverte HAL Access content directly
Journal Articles Proceedings of the ACM on Programming Languages Year : 2020

Dates and versions

hal-02383109 , version 1 (27-11-2019)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More