Idris

Idris is a general-purpose purely functional programming language with dependent types. The type system is similar to the one used by Agda. The… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Metaprogramming allows users to write programs that write programs. In dependently-typed languages such as Idris, recent work on… (More)
  • figure 2.2
  • figure 2.3
  • figure 2.5
  • figure 2.4
  • figure 2.6
Is this relevant?
2016
2016
Many programming languages and proof assistants are defined by elaboration from a high-level language with a great deal of… (More)
  • figure 1
  • figure 5
Is this relevant?
2014
2014
Dependently typed programming languages have a rich type system, which enables developers to combine proofs with programs… (More)
Is this relevant?
2014
2014
Idris is a purely functional programming language with dependent types. As well as supporting theorem proving, Idris is intended… (More)
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Many components of a dependently-typed programming language are by now well understood, for example the underlying type theory… (More)
  • figure 3
Is this relevant?
2013
2013
Idris (http://idris-lang.org/) is a general purpose pure functional programming language with dependent types. Its syntax is… (More)
Is this relevant?
2013
2013
This document describes the interaction of the Idris compiler with the editor emacs, to facilitate a lightweight development… (More)
  • figure 2
Is this relevant?
Review
2011
Review
2011
Dependent types have emerged in recent years as a promising approach to ensuring program correctness. However, existing… (More)
  • table 1
  • figure 3
  • figure 7
  • figure 9
Is this relevant?
2011
2011
This article presents a raster-based Geographic Information Systems (GIS) tool called CN-Idris that outputs runoff estimates from… (More)
  • figure 1
  • figure 2
Is this relevant?
2008
2008
This paper presents a new 1:10 000 scale geomorphological map of Cadair Idris, Wales. The geomorphology was mapped by the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?