共 50 条
- [41] On principal types of combinators [J]. THEORETICAL COMPUTER SCIENCE, 2000, 247 (1-2) : 277 - 290
- [42] On the word problem for combinators [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2000, 1833 : 203 - 213
- [44] Graph parser combinators [J]. IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, 2008, 5083 : 1 - 18
- [46] SUNFLOWER SEED PREPARATION [J]. JOURNAL OF THE AMERICAN OIL CHEMISTS SOCIETY, 1976, 53 (07) : A461 - A461
- [50] REPRESENTATION OF MARKOV ALGORITHMS BY COMBINATORS [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A590 - A590