Kind inference for the FreeST programming language

FreeST is a message-passing concurrent functional programming language where messages are exchanged on channels governed by context-free session types. Thus far, FreeST only distinguishes two kinds of types: arbitrary types and session types. We introduce explicit channel closing operators — close a...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of logical and algebraic methods in programming Jg. 148; S. 101083
Hauptverfasser:	Almeida, Bernardo, Mordido, Andreia, Vasconcelos, Vasco T.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.01.2026
Schlagworte:	Context-free session types Functional programming Kind inference Polymorphism Kind inference Functional programming Context-free session types Polymorphism
ISSN:	2352-2208
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!