User loginNavigation |
Two papers on combinatorsHello! I have a couple of papers on using combinators in Combinatory Logic (CL). I've just updated a paper I wrote some time ago that examines the derivation of a combinator that consumes its argument. "Meditations on the Void" is available at http://www.cotilliongroup.com/code/void-meditations.html. I have developed a new combinator, P (for Propositional combinator) that curries two arguments at linear cost (currying arguments using combinators usually have an exponential size cost); it is also useful for expressing propositions in CL. "Penguin" is available at http://www.cotilliongroup.com/code/penguin.html. More generally, my research is in programming languages using the predicate and lambda calculus. The main page for my explorations is at http://www.cotilliongroup.com/code/research.htm. Sincerely, By Doug Auclair at 2005-04-27 00:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 5789 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 5 min ago
40 weeks 6 days ago
40 weeks 6 days ago
40 weeks 6 days ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago