Skip to main navigation
Skip to search
Skip to main content
TU Delft Research Portal Home
Help & FAQ
Home
Research units
Researchers
Research output
Datasets
Projects
Press/Media
Prizes
Activities
Search by expertise, name or affiliation
Programming Languages
Electrical Engineering, Mathematics and Computer Science
Software Technology
Overview
Fingerprint
Network
Researchers
(22)
Research output
(143)
Datasets
(2)
Activities
(1)
Research output
Research output per year
2011
2016
2018
2019
2020
2021
2022
2023
2024
85
Conference contribution
47
Article
6
Dissertation (TU Delft)
1
Abstract
4
More
1
Other
1
Conference article
1
Editorial
1
Working paper
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2020
Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages
Rouvoet, A.
,
Poulsen, C.
,
Krebbers, R.
&
Visser, E.
,
2020
,
ACM DL
,
p. 284-298
,
15 p.
Research output
:
Working paper/Preprint
›
Working paper
›
Scientific
Open Access
File
operation
100%
Interpreter
100%
dynamics
50%
values
50%
scaling
50%
64
Downloads (Pure)