| _version_ | 1866901932988170240 |
|---|---|
| author | Agourakis, Demetrios Chiuratto Agourakis, Dionisio Chiuratto |
| author_facet | Agourakis, Demetrios Chiuratto Agourakis, Dionisio Chiuratto |
| contents | Demetrios is a novel systems and scientific programming language featuring first-class epistemic computing (confidence, provenance, uncertainty), compile-time units of measure, SMT-backed refinement types, algebraic effects, linear/affine types, GPU-native syntax, and scientific ontology integration. |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18047644 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Demetrios: A Systems and Scientific Programming Language with Epistemic Computing Agourakis, Demetrios Chiuratto Agourakis, Dionisio Chiuratto programming-language systems-programming scientific-computing epistemic-computing pharmacokinetics PBPK units-of-measure refinement-types algebraic-effects linear-types GPU Rust Demetrios is a novel systems and scientific programming language featuring first-class epistemic computing (confidence, provenance, uncertainty), compile-time units of measure, SMT-backed refinement types, algebraic effects, linear/affine types, GPU-native syntax, and scientific ontology integration. |
| title | Demetrios: A Systems and Scientific Programming Language with Epistemic Computing |
| topic | programming-language systems-programming scientific-computing epistemic-computing pharmacokinetics PBPK units-of-measure refinement-types algebraic-effects linear-types GPU Rust |
| url | https://doi.org/10.5281/zenodo.18047644 |