ElixirST: a session-based type system for elixir modules (Q6052942)
From MaRDI portal
scientific article; zbMATH DE number 7741957
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ElixirST: a session-based type system for elixir modules |
scientific article; zbMATH DE number 7741957 |
Statements
ElixirST: a session-based type system for elixir modules (English)
0 references
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules (English)
0 references
25 September 2023
0 references
1 March 2024
0 references
session types
0 references
type systems
0 references
elixir
0 references
functional programming
0 references
