Idris --- Systems Programming Meets Full Dependent Types

Research output: Contribution to conferencePaper

45 Citations (Scopus)
Original languageEnglish
DOIs
Publication statusPublished - 2011

Cite this