Robert Schenck -

Registered user since Mon 24 Jun 2024

Name:Robert Schenck

Bio:

Hi, I’m a PhD student at the University of Copenhagen interested in all things type systems, functional programming, and compilers

Country:Denmark

Affiliation:DIKU, University of Copenhagen

Personal website: https://rschenck.com

GitHub: https://github.com/zfnmxt

Research interests:Functional programming, type systems, compilers

Contributions

2024

SPLASH

Author of AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming within the OOPSLA 2024-track

ARRAY