Art

J-GLOBAL ID：200902216326206738   Reference number：09A0667349

Parameterised notions of computation

計算のパラメタライズド概念

Author (1)： ATKEY Robert (Univ. Edinburgh, Edinburgh, GBR)
Material： Journal of Functional Programming  (J Funct Program)
Volume： 19  Issue： 3/4  Page： 335-376  Publication year： May. 2009 
JST Material Number： W1589A  ISSN： 0956-7968  Document type： Article
Article type： 原著論文  Country of issue： United Kingdom (GBR)  Language： ENGLISH (EN)

Thesaurus term： *computation theory ,  computation model ,  parameterization ,  category theory ,  language design ,  data type ,  nondeterminism ,  side effect ,  input-output ,  annotation ,  lamda calculation ,  semantics ,  functional programming ,  *functional language ,  exception handling
Semi thesaurus term： semantics ,  functional programming ,  *theory of computation ,  計算モナド ,  計算効果

JST classification (2)： Theory of computation  (JB02000A) ,  General-purpose programming language  (JD03051H)

Terms in the title (2)： 計算 ,  概念