Dilsun Kirli: Projects

• I collaborated with Chris Walton and Stephen Gilmore on the project Dynamic ML



• I have recently completed writing up my PhD thesis under the supervison of Stephen Gilmore.



• I am working as a research associate on the project "Type Systems for Resource-bounded Programming and Compilation" with Martin Hofmann and David Aspinall .