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.
2013
2013
Actes de la journée : Le carbone en forêt et en prairies issues de déforestation en Guyane, processus, bilans et perspectives, 1er octobre 2013, Cayenne, Guyane française
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… 
2009
2009
Echinococcus vogeli Infection in a Hunter
In April 2006, a 72-year-old man was admitted to a lo-cal hospital in Cayenne, French Guiana, for abdominal pain and a palpable… 
2006
2006
Uso de diferentes fibras de micro-extração em fase sólida para identificação de compostos voláteis em abacaxi cultivar smooth cayenne.
1 Quím., D.Sc. Pesquisador da Embrapa Agroindústria de Alimentos, Av. das Américas, 29501, Guaratiba, CEP 23020-470, Rio de… 
2006
2006
Avaliação dos efeitos da radiação gama na qualidade de abacaxi (Ananas comosus (L.) Meer) cv. Smooth Cayenne minimamente processado, armazenado em diferentes temperaturas e embalagens
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… 
1997
1997
Impact of Increasing Wages on New Mexico Chile Production
Special contributions of several people deserve recognition. Lawrence Salazar provided bits of data, insights, and introductions… 
1986
1986
Range extension of Cayenne Terns on the Puerto Rico Bank
1982
1982
Etude des crues décennales des petits bassins versants forestiers en Afrique tropicale
Study of ten-year jloods of small forest catchments in Tropical Africa Five simulated rainfa,ll campaigns, attempted on Ivory… 
1940
1940
Un nouvel herbier de Fusée Aublet découvert en France
JEAN BAPTISTE CHRISTOPHE FUSEE AUBLET est ne a Salon (Provence) le 4 nov. 1720 et mort a Paris le 6 mai 1778. Des son enfance il…