Perpetuality for full and safe composition (in a constructive setting)

• Main Author: Kesner, Delia
• Other Authors: Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
• Format: Conference Object
• Language: English
• Published: HAL CCSD 2008
• Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; Iceland
• Online Access: https://hal.science/hal-00524782

International audience