"Lambda Calculus" - tag

Sort by: relevance · freshness · popularity Search: multi · tag · site · extension

1 - 19 of 19

Alligator Eggs!

by 7 people: tobu, olifante, jarek ... last on 2008-08-08 ... tags: functional · game · games · lambda-calculus · lambda · 2do · 2print · Lambda Calculus · alligator · alligators

http://worrydream.com/AlligatorEggs/ - cached - mail it - history

A different kind of uselessness.: Small Shots of Lambda Calculus, Part I

by 2 people: olifante, schemelab ... last on 2008-07-25 ... tags: calculus · church_numerals · false · functional · functional programming · lambda · lambda calculus · true

http://fmota91.blogspot.com/2007/09/small-shots-of-lambda-calculus-part-i.html - cached - mail it - history

To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

by 2 people: lambdareader, airpocket ... last on 2008-04-08 ... tags: Lambda Calculus · functional-programming · lambda-calculus

http://users.bigpond.net.au/d.keenan/Lambda/ - cached - mail it - history

[0801.0882] Call-by-value Termination in the Untyped Lambda-calculus

by joshua.ball ... last on 2008-01-11 ... tags: call-by-value · lambda calculus · primitive recursion · termination · total · untyped

http://arxiv.org/abs/0801.0882 - cached - mail it - history

Things that amuse me

by joshua.ball ... last on 2007-12-07 ... tags: dependent types · evaluator · interpreter · lambda calculus · lambda cube · simpler easier · simply easy · types

http://augustss.blogspot.com/2007/10/simpler-easier-in-recent-paper-simply.html - cached - mail it - history

Research papers/Functional pearls - HaskellWiki

by 2 people: lambdareader, joshua.ball ... last on 2007-09-13 ... tags: papers · Functional Programming · Lambda Calculus · Programming Language · Research_papers/Functional_pearls · Type Theory · haskell

http://haskell.org/haskellwiki/Research_papers/Functional_pearls - cached - mail it - history

Ott

by lambdareader ... last on 2007-01-17 ... tags: Computer Proof · Lambda Calculus · OCaml Language · Programming Language · types

http://www.cl.cam.ac.uk/~pes20/ott/ - cached - mail it - history

De Bruijn Notation as a Nested Datatype

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · Lambda Calculus

http://www.soi.city.ac.uk/~ross/papers/debruijn.html - cached - mail it - history

popl07sub.pdf (application/pdf Object)

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · Lambda Calculus · reference

http://crab.rutgers.edu/~pjohann/popl07sub.pdf - cached - mail it - history

wg2.8slides.pdf (application/pdf Object)

by lambdareader ... last on 2006-10-05 ... tags: Category Theory · Haskell Language · Lambda Calculus · reference

http://www.crab.rutgers.edu/~pjohann/wg2.8slides.pdf - cached - mail it - history

[cs/0609062] Nominal Logic Programming

by lambdareader ... last on 2006-09-15 ... tags: Lambda Calculus

http://arxiv.org/abs/cs.PL/0609062 - cached - mail it - history

Julianna Zsido

by lambdareader ... last on 2006-07-14 ... tags: Abstract Syntax · Coq · Lambda Calculus · Nice Ville · monads · people · types

http://math/~zsido/ - cached - mail it - history

de Bruijn notation as a nested datatype - Bird, Paterson (ResearchIndex)

by lambdareader ... last on 2006-07-14 ... tags: Abstract Syntax · Haskell Language · Lambda Calculus

http://citeseer.ist.psu.edu/bird98de.html - cached - mail it - history

cheney05icfp.pdf (application/pdf Object)

by lambdareader ... last on 2006-07-06 ... tags: Year 2005 · cheney · de Bruijn · functional perl · nameplate · scrap

http://homepages.inf.ed.ac.uk/jcheney/publications/cheney05icfp.pdf - cached - mail it - history

A Simply Typed Context Calculus (ResearchIndex)

by lambdareader ... last on 2006-07-06 ... tags: Lambda Calculus · contexts · environment

http://citeseer.ist.psu.edu/691315.html - cached - mail it - history

FreshML: Programming with Binders Made Simple - Shinwell, Pitts, Gabbay (ResearchIndex)

by lambdareader ... last on 2006-07-06 ... tags: Lambda Calculus · bindings · de Bruijn · freshml

http://citeseer.ist.psu.edu/shinwell03freshml.html - cached - mail it - history

Solomon Feferman's homepage

by 2 people: bkasterm, lambdareader ... last on 2006-06-14 ... tags: people · Français · Lambda Calculus · logic · math

http://math.stanford.edu/~feferman/ - cached - mail it - history

Citations: Enriching the Lambda Calculus with Contexts: Towards A Theory of Incremental Program Construction - Lee, Friedman (ResearchIndex)

by lambdareader ... last on 2006-06-14 ... tags: Français · Lambda Calculus · calculus · context · environment

http://citeseer.ist.psu.edu/context/14339/0 - cached - mail it - history

Pure Type Systems in Rewriting Logic

by lambdareader ... last on 2006-06-14 ... tags: Lambda Calculus · Type Theory · article

http://formal.cs.uiuc.edu/stehr/pts_eng.html - cached - mail it - history

1 - 19 of 19

Related Users

16 lambdareader

3 joshua.ball

2 airpocket

2 olifante

1 bane

1 bkasterm

1 econsultant

1 jarek

1 schemelab

1 tobu

Related Tags

19 lambda calculus

4 functional

4 haskell language

4 lambda-calculus

3 category theory

3 game

3 games

3 lambda

3 people

3 types

2 abstract syntax

2 calculus

2 de bruijn

2 environment

2 français

2 functional programming

2 functional-programming

2 papers

2 programming language

2 reference