A verified abstract machine for functional coroutines

Tristan Crolard 1
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02457406
Contributor : Tristan Crolard <>
Submitted on : Tuesday, January 28, 2020 - 9:35:22 AM
Last modification on : Thursday, January 30, 2020 - 1:30:33 AM

Links full text

Identifiers

Collections

Citation

Tristan Crolard. A verified abstract machine for functional coroutines. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2016, 212, pp.1-17. ⟨10.4204/EPTCS.212.1⟩. ⟨hal-02457406⟩

Share

Metrics

Record views

14