Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

36 relations
AgdaCheney's algorithmCoq (software)Dependent type

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Mechanical and thermal properties of graphene oxide filled epoxy nanocomposites
In this study, graphene oxide (GO) filled epoxy nanocomposites were prepared using hot pressed method. The GO was produced using… 
Review
2014
Review
2014
The practice of Almajiri: Prospect and socio-medical challenges in Northern part of Nigeria
The main purpose of the study is to identify the practice of Almajiri: prospect and socio-medical challenges in Sabon Gari Local… 
2014
2014
A Multiscale Test of Spatial Stationarity for Textured Images in R
The ability to automatically identify areas of homogeneous texture present within a greyscale image is an important feature of… 
2013
2013
Carbon stock in topsoil, standing floor litter and above ground biomass in Tectona grandis plantation 10-years after establishment in Ile-Ife, Southwestern Nigeria
This paper provides information on carbon stock at the habitat level in the above ground biomass (ABG), standing floor litter and… 
2013
2013
Interactions between Keggin Anions in Water: The Higher Their Charge, the Higher Their Condensation? A Simulation Study
Invited for the front cover of the Cluster Issue on Polyoxometalates is the group of Georges Wipff at the University of… 
2012
2012
Impact of Thermal Annealing under Nitrogen Ambient on Structural, Micro-Raman, and Thermogravimetric Analyses of Camphoric-CNT
A systematical study of the effects on thermal annealing treatment under nitrogen ambient on the structural, micro-Raman, and… 
2012
2012
Effects of methanol extract of Vernonia amygdalina leaf on survival and some biochemical parameters in acute Trypanosoma brucei brucei infection
The effects of methanol extract of Vernonia amygdalina leaf (chosen from several extracts tested) on survival, parasitaemia… 
Review
2008
Review
2008
SCIENTIFIC HIGHLIGHT OF THE MONTH : ” Optical Properties of Correlated Materials – or Why Intelligent Windows may look Dirty ” Optical Properties of Correlated Materials – or Why Intelligent Windows…
Materials with strong electronic Coulomb correlations play an increasing role in modern materials applications. “Thermochromic… 
Highly Cited
2003
Highly Cited
2003
Numerical simulations of central stellar velocity dispersion drops in disc galaxies
We present an interpretation of the stellar velocity dispersion drops discovered in the nuclear regions of three barred galaxy… 
2001
2001
Factors Related to Information Technology Implementation in the Malaysian Ministry of Education Polytechnics
.................................................................................................. ii Dedication… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)