RCast 25: The Rho Combinator

RCast 25: The Rho Combinator

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith and Mike Stay discuss updates to their latest paper, “Name-free combinators for concurrency.” Christian Williams joins the conversation. Transcript Greg: We’re...
RCast 23: Understanding LADL

RCast 23: Understanding LADL

Subscribe to RCast on iTunes | Google Play | Stitcher A talk between Greg Meredith and Christian Williams on LADL (Logic as A Distributive Law). Transcript Greg: In a recent meeting with some of the members, they wanted to find out a little...
RCast 21: The Currency of Concurrency

RCast 21: The Currency of Concurrency

Subscribe to RCast on iTunes | Google Play | Stitcher In this RCast, Greg Meredith is joined by Isaac DeFrain and Christian Williams to discuss why concurrency is necessary for blockchain—and beyond. Transcript Greg: The topic of...