Registered user since Mon 8 Jun 2015
Name: Gabriel Radanne
Bio: Gabriel Radanne is a postdoc at the Freiburg University, Germany. His goal is to improve the usability and safety of programming languages by leverating type systems, module systems and functional programming. He also work on the design and implementation of special purpose type systems for various use cases, such as tierless Web programming in the context of his PhD Thesis.
Affiliation: University of Freiburg
Personal website: https://www.irif.fr/~gradanne/
Research interests: Programming languages, Type system, Functional programming
View general profile