VIMPL 2023 Contributors - VIMPL 2023

Mon 13 Mar 2023 Tokyo, Japan

co-located with ‹Programming› 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (14)

A Dave AbrahamsAbrahams, Dave AdobeUnited States Committee Member in Organizing Committee within the VIMPL-track
Nada AminAmin, Nada Harvard UniversityUnited States Committee Member in Program Committee within the VIMPL-track
C Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the VIMPL-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the VIMPL-track
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the VIMPL-track
H James HaydonHaydon, James National Institute of Informatics, JapanJapan Lawvere: A categorical programming language with effects Committee Member in Program Committee within the VIMPL-track
K Stefan KlikovitsKlikovits, Stefan Johannes Kepler University, LinzAustria Committee Member in Program Committee within the VIMPL-track
L Pilar Selene Linares ArévaloLinares Arévalo, Pilar Selene University of MelbourneAustralia Uniqueness is Separation
M Damien MorardMorard, Damien University of Geneva, Centre Universitaire d'Informatique, Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the VIMPL-track
O Liam O'ConnorO'Connor, Liam University of EdinburghUnited Kingdom Uniqueness is Separation
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Committee Member in Organizing Committee within the VIMPL-track
Christine RizkallahRizkallah, Christine University of MelbourneAustralia Uniqueness is Separation
S Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the VIMPL-track
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany Committee Member in Program Committee within the VIMPL-track