VIMPL 2024
Mon 11 - Thu 14 March 2024 Lund, Sweden
co-located with ‹Programming› 2024

VIMPL 2024 Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (9)

A
Aldrich, Jonathan
Carnegie Mellon UniversityUnited States
Programme Committee in Program Committee within the VIMPL-track
Arvidsson, Ellen
Uppsala UniversitySweden
Verona: Ownership, Value Independence, Memory Management, and the Future of Mutation
B
Bovel, Matt
EPFL, LAMPSwitzerland
Programme Committee in Program Committee within the VIMPL-track
H
Haller, Philipp
KTH Royal Institute of TechnologySweden
Lightweight Affine Types for Safe Concurrency in Scala
O
Odersky, Martin
EPFLSwitzerland
A Formal Foundation of Reach Capabilities
P
Pearce, David J.
ConsenSysUnited States
Programme Committee in Program Committee within the VIMPL-track
R
Racordon, Dimi
EPFL, LAMPSwitzerland
Committee Member in Organizing Committee within the VIMPL-track
Committee Member in Organizing Committee within the VIMPL-track
S
Servetto, Marco
Victoria University of WellingtonNew Zealand
Programme Committee in Program Committee within the VIMPL-track
X
Xu, Yichen
EPFL
A Formal Foundation of Reach Capabilities