Blogs about: Lambda Calculus
Featured Blog
Quick and dirty intro to Lambda Calculus - Post #2
This is a continuatin of my previous post. In this post and all the following posts I write, all -calculus expressions are left-associative, ie.. In this post I will expound upon some of the things I … more →
Brandon Niemczyk's Stuff
@Lab this Week
goldmanalpha wrote 3 weeks ago: Humor from ZeroHedge is still popular. Unfortunately, the Goldman they’re praising is not me. … more →
Five axioms of alpha-conversion
Name Binding Admin wrote 3 weeks ago: By Andrew D. Gordon and Tom Melham, from TPHOLs 1996, available from Andrew D. Gordon’s websit … more →
Natural Philosophy: 005
OM Consulting Ltd wrote 5 months ago: McPhail, A.V.H. (2009) Poetics. Lucid Press. Poneke, Aotearoa. Natural Philosophy: 005 McPhail, A.V. … more →
Extend Boost's GaussLegendre via lambda expression
brillianteyes wrote 11 months ago: It is interesting, CIR model pricer requires us to do numerical integrations like \int_0^t a(s)ds, \ … more →
What Is Functional Programming?
un1crom wrote 11 months ago: Here’s a nice intro to functional programming on Dr. Dobbs. In any functional programming lang … more →
Intelligent Design
Vivian McPhail wrote 11 months ago: The recent fad of ‘intelligent design,’ a dressed up rehash of the creationist fallacy, is nothing b … more →
The Yajima Combinator in Translation
— 1 comment
Kirarin☆Snow ☃ wrote 1 year ago: This is a follow-up to my previous post, THIS IS NOT A REVIEW. I was inspired by a comment from Juli … more →
THIS IS NOT A REVIEW
— 15 comments
Kirarin☆Snow ☃ wrote 1 year ago: CUZ I DONT DO REVIEWS YO this is a DIALOGUE on the nature of computation brought to you by °C … more →
The Semantic Universe
Vivian McPhail wrote 1 year ago: Through deed, word, then thought, entities can establish communication. No matter what words are use … more →
Quick and dirty intro to Lambda Calculus - Post #3
bniemczyk wrote 1 year ago: This is a continuation of my previous post. In order for -Calculus to be useful, we have to be able … more →
Learning F#
— 2 comments
Noldorin wrote 1 year ago: My being a long-time C# coder, I finally decided to take a break from imperative programming and try … more →
Quick and dirty intro to Lambda Calculus - Post #2
— 1 comment
bniemczyk wrote 1 year ago: This is a continuatin of my previous post. In this post and all the following posts I write, all -ca … more →
Quick and dirty intro to Lambda Calculus - Post #1
— 1 comment
bniemczyk wrote 1 year ago: This is the first of a multi-part post about -Calculus. I’m going to start with a description … more →
Dynamic CSS for ASP.NET
Noldorin wrote 1 year ago: I’ve recently being doing a bit of web development in ASP.NET and came across (as all web deve … more →
An Approach To Specific Declarative Computer Programming Paradigms
— 1 comment
Woititz Luka wrote 1 year ago: In this article we will explain and discuss the declarative family of the fundamental style of compu … more →
Functional programming: Examples, Methods and Concepts
— 3 comments
Maurizio Storani wrote 1 year ago: In computer science, functional programming is a programming paradigm that treats computation as the … more →
Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
kbooks wrote 1 year ago: This book offers a comprehensive view of the best and the latest work in functional programming. It … more →
