Research output per year
Research output per year
Personal profile
Link to Utrecht University staff page
Fingerprint
Dive into the research topics where Wouter Swierstra is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Publication network from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
The Functional Essence of Imperative Binary Search Trees
Lorenzen, A., Leijen, D., Swierstra, W. & Lindley, S., 1 Jun 2024, In: Proceedings of the ACM on Programming Languages. 8, PLDI, p. 518-542 168 p., 168.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Translation certification for smart contracts
Krijnen, J. O. G., Chakravarty, M. M. T., Keller, G. & Swierstra, W., Mar 2024, In: Science of Computer Programming. 233, 25 p., 103051.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
A correct-by-construction conversion from lambda calculus to combinatory logic
Swierstra, W., 2023, In: Journal of Functional Programming. 33, 1, p. 1-9 9 p., e11.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
FP2: Fully in-Place Functional Programming
Lorenzen, A., Leijen, D. & Swierstra, W., 30 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 275–304 30 p., 198.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers
Swierstra, W. & Wu, N., 1 Jan 2023, Springer. 200 p. (Lecture Notes in Computer Science; vol. 13401)Research output: Book/Report › Book editing › Academic › peer-review
In the media
-
FP2: Fully In-Place Functional Programming provides memory reuse for pure functional programs
Lorenzen, A., Swierstra, W. & Leijen, D.
12/09/23
1 Media contribution
Press/Media: Public Engagement Activities