Rutger Broekhoff

Orcid: 0009-0009-3716-5638

According to our database¹, Rutger Broekhoff authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language.

[DOI]

Proc. ACM Program. Lang., 2025