EVL: A Typed Higher-Order Functional Language for Events

AuthID
 P-00S-YRC
3
Author(s)
1
Editor(s)
Nalon,C
Document Type
Proceedings Paper
Year published
2020
Published
in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661
Volume: 351, Pages: 3-23 (21)
Conference
15Th International Workshop on Logical and Semantic Frameworks, with Applications (Lsfa), Date: AUG 27-28, 2020, Location: Salvador, BRAZIL
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/850700
Crossref®1
Google Scholar®
Publication Identifiers
Dblp: conf/lsfa/AlvesFR20
Scopus: 2-s2.0-85096498738
Wos: WOS:000577848900002
Source Identifiers
ISSN: 1571-0661
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service