Skip to search formSkip to main contentSkip to account menu

Cayenne (programming language)

Known as: Cayenne (disambiguation) 
Cayenne is a dependently typed functional programming language created by Lennart Augustsson in 1998, making it one of the earliest dependently type… 
Wikipedia (opens in a new tab)

Related topics

Related topics

13 relations
ALF (proof assistant)AgdaDependent MLDependent type

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Traitement des leishmanioses en France : proposition d’un référentiel consensuel
2011
2011
Multi-Label Dimensionality Reduction (Chapman & Hall/CRC Machine Learning & Pattern Recognition)
A comprehensive reference for researchers in machine learning, data mining, and computer vision, this book presents in-depth… 
2008
2008
Les places de la langue dans la construction identitaire des Créoles de Guyane
Introduction Peu d’anthropologues se sont interesses a la question de l’identite des Creoles guyanais. Citons les travaux de… 
2005
2005
Intra-specific DNA polymorphism in pineapple (Ananas comosus (L.) Merr.) assessed by AFLP markers
Pineapple (Ananas comosus (L.) Merr.) cultivars, often derived from somatic mutations, are propagated vegetatively. It has been… 
2000
2000
Bagnards : la terre de la grande punition, Cayenne, 1852-1953
2000
2000
Dégradation des pâturages amazoniens : description d'un syndrome et de ses déterminants
(1) IRD, LEST, 32, avenue Henri Varagnat, 93143 Bondy cedex, France (2) INPA, CPCA, CP478, Aleixo, 69011-970 Manaus, AM, Brésil… 
1999
1999
Crown development in tropical rain forest trees in gaps and understorey
Crown development was monitored for juvenile trees (4–18 m) of the canopy tree species Dicorynia guianensis and Vouacapoua… 
1998
1998
Phytotoxic effect of culture filtrate from Fusarium subglutinans the causal agent of fusariose of pineapple (Ananas comosus (L.) Merr
Two pineapple varieties differing in resistance to fusariose were examined for the phytotoxic effect of Fusarium subglutinans… 
1997
1997
Breeding biology of Royal and Cayenne terns at a mixed-species colony in Patagonia
-We studied the breeding biology of Royal (Sterna maxima) and Cayenne terns (S. eurvgnatha) at Punta Le6n, Patagonia, during 1989… 
1986
1986
Range extension of Cayenne Terns on the Puerto Rico Bank
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)