Georgios Karachalias
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 13
Publications (10 Years): 13
Publications
- Roger Bosman, Georgios Karachalias, Tom Schrijvers
- Marco Perone, Georgios Karachalias
- Marco Perone, Georgios Karachalias
- Georgios Karachalias, Filip Koprivec, Matija Pretnar, Tom Schrijvers
- Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
- Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom SchrijversExplicit Effect Subtyping. CoRR (2020)
- Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
- Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias
- Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
- Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers
- Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
- Gert-Jan Bottu, Georgios Karachalias, Tom Schrijvers, Bruno C. d. S. Oliveira, Philip Wadler