A Quantitative Understanding of Pattern Matching

AuthID
P-00S-7F5
3
Author(s)
Kesner, D
·
Ventura, D
2
Editor(s)
Marc Bezem; Assia Mahboubi
Document Type
Proceedings Paper
Year published
2019
Published
in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway. in LIPIcs, ISSN: 1868-8969
Volume: 175, Pages: 3:1-3:36
Conference
25Th International Conference on Types for Proofs and Programs, Types 2019, Date: 11 June 2019 through 14 June 2019, Sponsors: The Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters
Indexing
Publication Identifiers
Dblp: conf/types/AlvesKV19
Scopus: 2-s2.0-85092795631
Source Identifiers
ISSN: 1868-8969
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.