ALGEBRAS AND COMBINATORS

被引：43

作者：

ENGELER, E ^{[1
]}

机构：

[1] SWISS FED INST TECHNOL,CH-8092 ZURICH,SWITZERLAND

来源：

关键词：

D O I：

10.1007/BF02483849

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：389 / 392

页数：4

共 50 条

[21] DIRECTOR STRINGS AS COMBINATORS
KENNAWAY, R
SLEEP, R
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (04): : 602 - 626
[22] Termination Combinators Forever
Bolingbroke, Maximilian
Jones, Simon Peyton
Vytiniotis, Dimitrios
HASKELL 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN HASKELL SYMPOSIUM, 2011, : 23 - 34
[23] Distributed Protocol Combinators
Andersen, Kristoffer Just Arndal
Sergey, Ilya
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2019), 2019, 11372 : 169 - 186
[24] FUNCTIONAL PROGRAMMING WITH COMBINATORS
GIBERT, J
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (03) : 269 - 293
[25] On principal types of combinators
Broda, S
Damas, L
THEORETICAL COMPUTER SCIENCE, 2000, 247 (1-2) : 277 - 290
[26] On the word problem for combinators
Statman, R
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 203 - 213
[27] Termination Combinators Forever
Bolingbroke, Maximilian
Jones, Simon Peyton
Vytiniotis, Dimitrios
ACM SIGPLAN NOTICES, 2011, 46 (12) : 23 - 34
[28] Graph parser combinators
Mazanek, Steffen
Minas, Mark
IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2008, 5083 : 1 - 18
[29] Fair enumeration combinators
New, Max S.
Fetscher, Burke
Findler, Robert Bruce
Mccarthy, Jay
JOURNAL OF FUNCTIONAL PROGRAMMING, 2017, 27
[30] REPRESENTATION OF MARKOV ALGORITHMS BY COMBINATORS
CURRY, HB
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A590 - A590