WADT 2024
Mon 8 Jul 2024
Enschede, Netherlands
co-located with
STAF 2024
Toggle navigation
Attending
Venue: University of Twente
STAF 2024
Accommodation
Registration
Conference Reception and Dinner
Previous editions
Program
WADT Program
Your Program
Mon 8 Jul
Tracks
WADT 2024
Research papers
STAF 2024
Keynotes
Organization
WADT 2024 Committees
Steering Committee
Programme Committee
Contributors
People Index
Search
Series
Sign in
Sign up
STAF 2024
(
series
) /
WADT 2024
(
series
) /
Wang Yi
STAF 2024 profile
conf.research.org general profile
ETAPS 2019 profile
PLDI 2016 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Registered user since Thu 15 Nov 2018
Name:
Wang Yi
Affiliation:
Uppsala University, Sweden
Personal website:
http://user.it.uu.se/~yi/
Contributions
2024
GCM
An Encoding of Interaction Nets in OCaml
Show activities from other conferences
Share
STAF 2024-profile
View general profile
x
Sun 22 Dec 03:13