Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Operational semantics for multi-language programs
Matthews, Jacob, Findler, Robert Bruce
Published in ACM transactions on programming languages and systems (01.04.2009)
Published in ACM transactions on programming languages and systems (01.04.2009)
Get full text
Journal Article
Loading…
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Get full text
Book Chapter
Conference Proceeding