Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: collection%253Air
(1 - 9 of 9)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Language-parametric static semantic code completion
Intrinsically-typed definitional interpreters à la carte
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Knowing when to ask: Sound scheduling of name resolution in type checkers derived from declarative specifications
From definitional interpreter to symbolic executor
Intrinsically-Typed Definitional Interpreters for Imperative Languages
Scopes as Types
Scopes describe frames: A uniform model for memory layout in dynamic semantics
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
Searched for: collection%253Air
(1 - 9 of 9)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel