Search Results - Uustalu, Tarmo

Tarmo Uustalu

Tarmo Uustalu (born 19 January 1969) is an Estonian computer scientist. He is a professor in the School of Computer Science at Reykjavík University and a lead research scientist at the Tallinn University of Technology (TalTech). At TalTech he heads the High-assurance Software Laboratory. Uustalu has been a member of the Estonian Academy of Sciences since 2010.

Uustalu received the Estonian National Research Award in 2015 for a research series on mathematical structures in functional programming. In 2019 he was awarded the Order of the White Star, III class. Provided by Wikipedia
  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    A coalgebraic view of bar recursion and bar induction

    A coalgebraic view of bar recursion and bar induction by Capretta, Venanzio, Uustalu, Tarmo

    Published 2016
    Get full text
  2. 2
    Relative monads formalised

    Relative monads formalised by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2014
    Get full text
  3. 3
    Monads need not be endofunctors

    Monads need not be endofunctors by Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo

    Published 2015
    Get full text

Search Tools: