Now showing items 1-1 of 1

  • Fibred computational effects 

    Ahman, Danel (The University of Edinburgh, 2017-11-30)
    We study the interplay between dependent types and computational effects, two important areas of modern programming language research. On the one hand, dependent types underlie proof assistants such as Coq and functional ...