-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathcitation.cff
More file actions
35 lines (35 loc) · 957 Bytes
/
Copy pathcitation.cff
File metadata and controls
35 lines (35 loc) · 957 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
cff-version: 1.2.0
message: "Feel free to cite it as below."
authors:
- family-names: Francalanza
given-names: Adrian
orcid: https://orcid.org/0000-0003-3829-7391
- family-names: Tabone
given-names: Gerard
orcid: https://orcid.org/0000-0001-9047-061X
title: "ElixirST"
version: 0.8.3
date-released: 2021-09-17
url: "https://github.com/gertab/ElixirST"
keywords:
- "Session types"
- "Type systems"
- "Elixir"
- "Functional programming"
license: "GPL-3.0"
preferred-citation:
type: article
authors:
- family-names: Francalanza
given-names: Adrian
orcid: https://orcid.org/0000-0003-3829-7391
- family-names: Tabone
given-names: Gerard
orcid: https://orcid.org/0000-0001-9047-061X
doi: 10.1016/j.jlamp.2023.100891
journal: "Journal of Logical and Algebraic Methods in Programming"
month: 10
start: 100891
title: "ElixirST: A session-based type system for Elixir modules"
volume: 135
year: 2023