to

Thesis by V. Cacciari Miraldo MSc

PhD defence: Type-Safe Generic Differencing of Mutually Recursive Families

Start date and time
End date and time
Location
University Hall, Domplein 29
PhD candidate
V. Cacciari Miraldo MSc
Dissertation
Type-Safe Generic Differencing of Mutually Recursive Families
PhD supervisor(s)
prof. dr. G.K. Keller
Co-supervisor(s)
dr. W.S. Swierstra