Research output per year
Research output per year
Research output
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 AccessFile47 Downloads (Pure) -
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/Preprint › Working paper › Scientific
Open AccessFile42 Downloads (Pure)