-
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathCITATION.cff
More file actions
29 lines (29 loc) · 949 Bytes
/
Copy pathCITATION.cff
File metadata and controls
29 lines (29 loc) · 949 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
cff-version: 1.2.0
message: "If you use this software, please cite it as below."
type: software
title: "AffineScript"
abstract: "Resource-safe, effect-typed programs in syntax you already know. A checked affine core with familiar Faces — JavaScript-, Python-, functional-, and pseudocode-shaped surfaces — compiling to typed WebAssembly."
authors:
- family-names: "Jewell"
given-names: "Jonathan D.A."
orcid: "https://orcid.org/0000-0002-3078-6652"
repository-code: "https://github.com/hyperpolymath/affinescript"
keywords:
- "formal-verification"
- "programming-language"
- "multi-syntax-language"
- "affinescript"
- "language-design"
- "affine-types"
- "capability-based-security"
- "epistemic-computing"
- "epistemic-infrastructure"
- "hyperpolymath"
- "ocaml"
- "open-source"
- "research-software"
- "effect-typed"
- "resource-safe-wasm"
- "veridical-computing"
- "type-systems"
- "webassembly"