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

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch
• Notes: cc_by_sa http://creativecommons.org/licenses/by-sa/4.0/deed.de cc

Classification and Topics

• Classification: Informatik

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Freiburg
• (who): Universität
• (when): 2017
• Creator: Igarashi, Atsushi ; Thiemann, Peter ; Wadler, Philip ; Vasconcelos, Vasco
• Contributor: 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

Further information

• DOI: 10.6094/UNIFR/12735
• URN: urn:nbn:de:bsz:25-freidok-127356
• Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 25.03.2025, 1:43 PM CET