Lambda Calculus Browser Based Calculator

Search Options	close
Search the following clips: All Clips

news science politics food economy art
technology health internet religion psychology

Sign Up Install Learn More Login


	Lambda Calculus Browser Based Calculator

airfoil

5-4-2007 11:21 AM

504 views

tags:

lambda, claculus, functional, programming, widget

airfoil says:

A functioning, although limited, Lambda Calculus Calculator that is Browser Based. Site has introductory materials on the subject as well.

Add a Comment

Login to Comment. Not a member yet? Sign up

Today's Top Clips

visit the Top Clips page

View the Top Clips from May 4, 2007

Embed This Clip In Your Site...

<div style="margin: 12px 0px; font-family: arial; color: #333333; background: #ffffff; border: solid 4px #e5e5e5; width: 100%; clear: left;"><div class="CM_CTB_Content_Wrap" style="margin: 0px; padding: 0px;background-color: #ffffff;"><div style="border-bottom: solid 1px #dcdcdc; white-space: nowrap; margin-bottom: 8px; background-color: #eeeeee ;background-image: url(http://clipmarks.com/images/source-bg.gif); background-repeat: repeat-x; height: 24px; line-height: 24px; vertical-align: middle; padding-bottom: 4px; color: #666666; font-size: 10px;" ><a href="http://clipmarks.com/clip-to-blog/" title="see clips that are hot right now"><img src="http://content.clipmarks.com/blog_embed/0b5e9379-19d3-48f2-81e7-becfd5639184/209C8BBC-10C2-421D-AF7F-0E57589168CC/" alt="" width="19" height="19" border="0" style="vertical-align: middle; margin: 0px 4px; display: inline; border: none; float:none;" /></a>clipped from <a title="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/" href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/" style="font-size: 11px;">www.csse.monash.edu.au</a></div><blockquote style="text-align: left; padding: 0px 8px; margin: 4px 0px 8px 0px; background: transparent; border: none;" cite="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/"><H1>Lambda Calculus</H1></blockquote><div style="height: 2px; font-size: 2px; background: #dcdcdc; border-bottom: solid 1px #f5f5f5; margin: 2px 4px;"></div><blockquote style="text-align: left; padding: 0px 8px; margin: 4px 0px 8px 0px; background: transparent; border: none;" cite="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/"><table background="undefined" bgcolor=""><tr><TD width="80%" valign="top" align="left"><P>This is a brief introduction to the lambda calculus and the interpreter,
including executable example λ-calculus programs and source code;
it should be used in conjunction with a book or other material.
</p> <OL>
<li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/00.Intro.html">Introduction</A>
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/01.Calc.html">Lambda Calculus</A>
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/02.Lang.html">A Functional Programming Language</A>
</LI><li style="margin-left:16px;padding-left: 0px;">Programming Techniques:
    <UL>
    <li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/03.Prog1.Fact.shtml">Programming Techniques - Recursion</A>
    </LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/03.Prog2.Hamm.shtml">Programming Techniques - Circular Programs</A>
    </LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/03.Prog3.Siev.shtml">Programming Techniques - Sieve</A>
    </LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/03.Prog4.Prim.shtml">Programming Techniques - Primes & Composites</A>
    </LI></UL>
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/04.Pars.shtml">The Parser</A>
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/05.Exec.shtml">Execution</A>
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/06.Exer.html">Exercises</A>
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/07.Appx.shtml">Appendix</A> - Misc' Routines
</LI><li style="margin-left:16px;padding-left: 0px;"><A href="http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/../Examples/">Lambda Calculus Example Programs</A>
</LI></OL>
<DIV align="center">
<TABLE border="0"><TBODY><TR><TD><FORM method="post" action="http://www.csse.monash.edu.au/cgi-bin/cgiwrap/lloyd/lambda">
<TEXTAREA cols="40" rows="10" name="stdin">let rec
   factorial
      = lambda n.
        if n=0 then 1
               else n*factorial(n-1)
in factorial 4
{ this factorial covered by gnu GPL :-}
</TEXTAREA>

<INPUT type="submit" value="Run" />
<INPUT type="reset" value="Reset" />
</FORM>
</TD></TR></TBODY></TABLE></DIV>
<P>The toy Lambda Calculus interpreter can be run through the wwweb.
You should read at least the sections down to and including
<I>Programming Techniques</I> first.
There are very tight limits set on the size and
running time of programs that can be run in this way.
</p> <HR size="2" noshade="" />
© L.A. 1996
</TD></tr></table></blockquote></div><div style="margin: 0px 6px 6px 4px;"><table style="font-size: 11px;border-spacing: 0px;padding: 0px;" cellpadding="0" cellspacing="0" width="100%"><tr><td style="background:transparent;border-width:0px;padding:0px;">&nbsp;</td><td align="right" style="background:transparent;border-width:0px;padding:0px;width:107px" width="107"><a href="http://clipmarks.com/share/209C8BBC-10C2-421D-AF7F-0E57589168CC/blog/" title="blog or email this clip"><img src="http://content7.clipmarks.com/images/c2b-foot.png" border="0" alt="blog it" width="107" height="17" style="border-width:0px;padding:0px;margin:0px;" /></a></td></tr></table></div></div>

New from the makers of Clipmarks: Amplify.com - Don't just share the news...Amplify it!

Clipmarks: Home; New Clips; Top Clips; Dashboard

Popular Topics: News; Life; Science; Technology; Entertainment

Get Started: Sign Up; Install Clipping Tool; How Clipping Works; Clip-to-Blog™; ClipSearch

Tools and Resources: FAQ; ClipWeek; Top Clippers; Top Tags; Site Map

About Clipmarks: About Us; Contact; Copyright; Privacy; EULA

Search Options

Today's Top Clips