Roger Bosman

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Elimination Algorithm

Computer Based Instruction

Top Venues

Publications

Roger Bosman, Georgios Karachalias, Tom Schrijvers
No Unification Variable Left Behind: Fully Grounding Type Inference for the HDM System. ITP (2023)
Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers
A Calculus for Scoped Effects & Handlers. CoRR (2023)