Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Demetrios: A Systems and Scientific Programming Language with Epistemic Computing
Demetrios: A Systems and Scientific Programming Language with Epistemic Computing
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Authors:
Agourakis, Demetrios Chiuratto
,
Agourakis, Dionisio Chiuratto
Format:
Recurso digital
Published:
Zenodo
2025
Subjects:
programming-language
systems-programming
scientific-computing
epistemic-computing
pharmacokinetics
PBPK
units-of-measure
refinement-types
algebraic-effects
linear-types
GPU
Rust
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.5281/zenodo.18040325
Similar Items
Demetrios: A Systems and Scientific Programming Language with Epistemic Computing
by: Agourakis, Demetrios Chiuratto, et al.
Published: (2025)
Supercomputing Frontiers
Published: (2022)
Computer Aided Verification
Published: (2023)
Artificial Intelligence and Computer-Supported Collaborative Learning in Programming: A Systematic Mapping Study
by: Carlos Giovanny Hidalgo
Published: (2023)
Computer Aided Verification
Published: (2023)