Research Output per year
Research Output
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
Open Access
File
2015
From Needs to Knowledge: A reference framework for smart citizens initiatives
Bozzon, A., Houtkamp, J., Kresin, F., Sena, N. D. & de Weerdt, M., 2015, Amsterdam Institute for Advanced Metropolitan Solutions (AMS), p. 1-58, 58 p.Research output: Working paper
Open Access
File
27
Downloads
(Pure)