See this document in CiteSeerX!

The Systematic Construction of a One-Combinator Basis (1989)  (Make Corrections)  
J. Fokker



  Home/Search   Context   Related

 
View or download:
archive.cs.uu.nl/pub/RUU/...198914.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.uu.nl/resear...EAR=&AUTH=&GRP= (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this article, lower ca is used for variables in the lan!ae of h-calculus, and upper ca for variables denotin$ l-ns. Fixed ons ar non-italic. Application socits the left, so ABe means (AB). Aleructions ranse , far a poible, so I=.AB incaris I=.(AB). Multiple aidtractions are abbrevial, so l=I/.A means lz.ll/.A (Update)

Similar documents (at the sentence level):
29.7%:   The systematic construction of a one-combinator basis for.. - Fokker (1997)   (Correct)

Active bibliography (related documents):   More   All
0.0:   Parallel Programming using Functional Languages - Roe (1991)   (Correct)
0.0:   Explicit Cyclic Substitution - Rose (1993)   (Correct)
0.0:   Light Analysis of Complex Systems - Massimo Marchiori   (Correct)

Similar documents based on text:   More   All
0.4:   Parallel Aspects of Numerical Weather Prediction on a Grid of .. - Middelkoop, al. (1988)   (Correct)
0.2:   Progress - A Transformation Factory For Digital Signal.. - Swierstra, Visser..   (Correct)
0.2:   Functional Parsers - Fokker (1995)   (Correct)

BibTeX entry:   (Update)

@misc{ fokker-systematic,
  author = "J. Fokker",
  title = "The Systematic Construction of a One-Combinator Basis",
  url = "citeseer.ist.psu.edu/fokker89systematic.html" }
Citations (may not include all citations):
359   The implementation of functional programming languages (context) - Jones - 1987
1   it syntax and seroantcs (context) - lambda, syntax et al. - 1984
1   tory logic Vol (context) - Curry, Feys - 1958

Documents on the same site (http://www.cs.uu.nl/research/techreps/techreps.php?submit=show+reports&YEAR=&AUTH=&GRP=):   More
On the Two-Level Uncapacitated Facility Location Problem - Aardal, Labbé (1995)   (Correct)
A Tourist Guide through Treewidth - Bodlaender (1993)   (Correct)
Predictive Probabilistic Models for Treatment Planning in.. - Peek (1998)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC