# Lambda Calculus Published articles for Lambda Calculus. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## The names of birds, part 4 DevFeed: [The names of birds, part 4]() Original publisher: [Read original article]() Author: ericlippert Published: 2023-02-03T17:17:57Z Content type: article Language: en Sources: [Eric Lippert]() Topics: [Math and Logic](), [function](), [functions]() Tags: [computer](), [lambda-calculus](), [logic](), [turing-machine](), [uncategorized]() ### AI overview This article explains combinatory logic through the fictional identities of birds representing the S and K combinators. It shows how these combinators can produce the identity combinator and the duplication combinator, then connects combinatory logic with lambda calculus and computation. ### Source excerpt The European starling is a lovely looking bird, though territorial, noisy and aggressive up close. Unfortunately, they are very invasive in North America. Most of the hundreds of millions of European starlings now living in the Americas can be found ... Continue reading -> ## The Verse Calculus: a Core Calculus for Functional Logic Programming DevFeed: [The Verse Calculus: a Core Calculus for Functional Logic Programming]() Original publisher: [Read original article]() Published: 2022-12-12T16:23:17Z Content type: article Language: en Sources: [Lambda the Ultimate]() Topics: [Programming](), [Math and Logic]() Tags: [draft](), [functional](), [lambda-calculus](), [languages](), [logic](), [paper](), [programming](), [rewrite](), [semantics]() ### AI overview The draft paper introduces the Verse calculus (VC), a core calculus for functional logic programming. Its main contribution is a small-step rewrite semantics that enables reasoning about VC programs through successive rewrites, as with lambda calculus. The authors note that the design is still a work in progress and that the current rewrite rules may not be confluent. ### Source excerpt The Verse Calculus: a Core Calculus for Functional Logic Programming https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf LENNART AUGUSTSSON, Epic Games, Sweden JOACHIM BREITNER KOEN CLAESSEN, Epic Games, Sweden RANJIT JHALA, Epic Games, USA SIMON PEYTON JONES, Epic Games, United Kingdom OLIN SHIVERS, Epic Games, USA/li> TIM SWEENEY, Epic Games, USA Functional logic languages have a rich literature, but it is tricky to give them a satisfying semantics. In this paper we describe the Verse calculus, VC, a new core calculus for functional logical programming. Our main contribution is to equip VC with a small-step rewrite semantics, so that we can reason about a VC program in the same way as one does with lambda calculus; that is, by applying successive rewrites to it. This draft paper describes our current thinking about Verse. It is very much a work in progress, not a finished product. The broad outlines of the design are stable. However, the details of the rewrite rules may well change; we think that the current rules are not confluent, in tiresome ways. (If you are knowledgeable about confluence proofs, please talk to us!)We are eager to enagage in a dialogue with the community. Please do write to us. ## LAMBDA: An Excel worksheet function for defining new functions DevFeed: [LAMBDA: An Excel worksheet function for defining new functions]() Original publisher: [Read original article]() Published: 2021-01-27T03:27:09Z Content type: article Language: en Sources: [Lambda the Ultimate]() Topics: [Programming](), [Programming language](), [data](), [decision-making](), [Microsoft]() Tags: [data](), [decision-making](), [excel](), [fun](), [function](), [lambda](), [lambda-calculus](), [microsoft](), [programming-language]() ### AI overview The post describes LAMBDA, an Excel worksheet function that lets users define new functions. It addresses limitations of Excel's formula language, including its previous lack of user-defined functions and support for only scalar values. ### Source excerpt Post by Andy Gordon and Simon Peyton Jones on LAMBDA giving Excel users the ability to define functions. Ever since it was released in the 1980s, Microsoft Excel has changed how people organize, analyze, and visualize their data, providing a basis for decision-making for the millions of people who use it each day. It's also the world's most widely used programming language. Excel formulas are written by an order of magnitude more users than all the C, C++, C#, Java, and Python programmers in the world combined. Despite its success, considered as a programming language Excel has fundamental weaknesses. Over the years, two particular shortcomings have stood out: (1) the Excel formula language really only supported scalar values--numbers, strings, and Booleans--and (2) it didn't let users define new functions. Until now.