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 AccessFile59 Downloads (Pure) -
2018
Präzi: From Package-based to Precise Call-based Dependency Network Analyses: (Not published)
Hejderup, J., Beller, M. & Gousios, G., 2018, (Unpublished).Research output: Working paper/Preprint › Working paper › Scientific
File646 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 AccessFile58 Downloads (Pure)