Jump to content

User:Mrhaandi

From Wikipedia, the free encyclopedia

PhD[1] in computer science with following areas of expertise[2]

  1. ^ Dudenhefner, Andrej (2019-06-24). Algorithmic aspects of type-based program synthesis (Thesis). TU Dortmund University. doi:10.17877/DE290R-20108. hdl:2003/38127.
  2. ^ "List of publications". Google Scholar.
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Mrhaandi&oldid=911065676"