Artifact for "Gradual Session Types", appearing in ACM SIGPLAN International Conference on Functional Programming

Abstract: This artifact contains programs in Haskell and Racket that implements the statics and the dynamics of the ICFP 2017 paper "Gradual Session Types".
The Haskell program is a type checker for the language in the paper.
It has various options to pretty print the output of the type checker documented in a separate README file.
One option is to generate input terms suitable for use with the Racket program.

The PLT-Redex script implements the operational semantics presented in the paper.
It's currently not well integrated with the type checker.
The type checker's output has to be cut-and-pasted into Redex

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• Umfang: Online-Ressource
• Ausgabe: 2. korrigierte Version
• Sprache: Englisch
• Anmerkungen: cc_by_sa http://creativecommons.org/licenses/by-sa/4.0/deed.de cc

Klassifikation und Themen

• Klassifikation: Informatik

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Freiburg
• (wer): Universität
• (wann): 2017
• Urheber: Igarashi, Atsushi ; Thiemann, Peter ; Wadler, Philip ; Vasconcelos, Vasco ; Saffrich, Hannes
• Beteiligte Personen und Organisationen: Albert-Ludwigs-Universität Freiburg. Institut für Informatik ; Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften ; Albert-Ludwigs-Universität Freiburg

Weitere Informationen

• DOI: 10.6094/UNIFR/12757
• URN: urn:nbn:de:bsz:25-freidok-127579
• Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 25.03.2025, 13:44 MEZ