|
 
|
del.ico.us Links. Tag: lambda-calculus
- Do you like to play Bingos ? Click here to get an exclusive Bingo offer
- Alligator Eggs! (Tags:programming lambda-calculus game )
- Lambda Calculus Introduction (Tags:algorithms coding introduction logic math tutorial mathematics theory programming lambda-calculus lambda functional calculus )
- Getting Started | Lambda the Ultimate:From the PLT Scheme mailing list: The plan: So to revisit this again, what do you need to learn of the lambda calculus relative to FP? A working programmer should have seen: * syntax * reductions (eval is a function via Church Rosser and Curry-Feys Standard Reduction theorems) * scope vs de Bruijn indices * beta vs beta-value, normal form [relevant in math] vs value [relevant in cs] * basic denotational semantics (typed PCF suffices) * typed lc plus type system, SNF * extended with some amount of fancy type system stuff (say explicit polymorphism) That's approx 10 weeks worth of course material. Or 2 weeks of self- study with a one-hour lunch break. (Tags:plt scheme lambda lambda-calculus fp functional )
- Lambda Animator : animated reduction of the lambda calculus (Tags:algorithm algorithms animation visualization java lisp compsci functional lambda-calculus reduction optimal )
- CiteSeerX — Y in Practical Programs (Extended Abstract) (Tags:programming functional combinator lambda-calculus y )
- Why computer programs should not be patentable – In easy-to-understand terms. » The Blog From Hell (Tags:swpats patents numbers maths lambda-calculus )
- Recursive lambda expressions - The Mellow Musings of Dr. T - Site Home - MSDN Blogs:This is a very geeky post. The tiny piece of useful information comes right at the bottom. The rest of it is all artifacts of the obscure art of doing lambda calculus in C#, which can also be characterized as doing very much with very little, sacrificing only readability. (Tags:c%23 programming lambda-calculus funny )
- Good One: Lambda Calculus (at Safalra's Website) (Tags:lambda calculus beta scheme lisp programming book lambda-calculus theory online math logic functional books automata denotational-semantics denotational semantic good )
- On Understanding Types, Data Abstraction, and Polymorphism (Tags:type-theory lambda-calculus programming )
- The Original 'Lambda Papers' by Guy Steele and Gerald Sussman (Tags:lambda-calculus research computer-science lisp scheme pdf mit guy-steel gerald-sussman )
- An Introduction to Lambda Calculus and Scheme (Tags:scheme lisp lambda-calculus functional programming computer-science math )
- Introduction to Lambda Calculus (Tags:pdf computer-science research lambda-calculus logic math functional )
- Lambda Calculus - Die in a Fire - Eric Florenzano’s Blog (Tags:math programming lambda-calculus lambda )
- Lambda Calculus (at Safalra's Website):Welcome to the Lambda Calculus section of Safalra’s Website. This section of the website contains a brief tutorial on lambda calculus and what can be accomplished using it. (Tags:lambda-calculus programming mathematics )
- Lambda Calculus (at Safalra's Website) (Tags:programming math calculus reference mathematics tutorials theory lambda-calculus )
- Bingos - First deposit exclusive Offer
