Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at University of St Andrews Research Portal
Home
Profiles
Research output
Datasets
Research units
Equipment
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation
Edwin Charles Brady
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Programming Language
100%
High-Level Language
100%
Functional Programming
33%
Type Checking
33%
Language Implementation
33%