Ulf Norell (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Ana Bove, Peter Dybjer, Ulf Norell: A Brief Overview of Agda - A Functional Language with Dependent Types. TPHOLs 2009: 73-78

Selection of 1 from 7 records - Ulf Norell has 7 coauthors