\texttt{EVL}: a typed higher-order functional language for events
From MaRDI portal
Publication:2229144
DOI10.1016/j.entcs.2020.08.002OpenAlexW3092566726WikidataQ113317320 ScholiaQ113317320MaRDI QIDQ2229144
Maribel Fernández, Miguel Ramos, Sandra Alves
Publication date: 22 February 2021
Full work available at URL: https://arxiv.org/abs/2109.08960
Cites Work