Property |
Value |
dbo:abstract
|
- Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un logicien et mathématicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication. (fr)
- Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un logicien et mathématicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication. (fr)
|
dbo:almaMater
| |
dbo:birthName
|
- Haskell Brooks Curry (en)
|
dbo:birthPlace
| |
dbo:citizenship
| |
dbo:deathPlace
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:employer
| |
dbo:father
| |
dbo:mother
| |
dbo:occupation
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 9332 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:fr
|
- Curry (fr)
- Brook (fr)
- Curry (fr)
- Brook (fr)
|
prop-fr:lang
| |
prop-fr:texte
|
- Curry (fr)
- Brook (fr)
- Curry (fr)
- Brook (fr)
|
prop-fr:trad
|
- Curry (fr)
- Brook (fr)
- Curry (fr)
- Brook (fr)
|
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un logicien et mathématicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication. (fr)
- Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un logicien et mathématicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication. (fr)
|
rdfs:label
|
- Haskell Curry (fr)
- Haskell Curry (ca)
- Haskell Curry (en)
- Haskell Curry (es)
- Haskell Curry (it)
- Haskell Curry (nl)
- Haskell Curry (sv)
- Карри, Хаскелл (ru)
- هاسكل كاري (ar)
- 哈斯凯尔·柯里 (zh)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralStudent
of | |
is dbo:namedAfter
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |