Input feed: Lambda the Ultimate - Programming Languages Weblog

1 - 24 of 249

Platonic C# - Managing Referential Transparency through Unique Types

http://lambda-the-ultimate.org/node/5666

Lambda the Ultimate - Programming Languages Weblog 03/04/2023

object-functional

Computer History Museum releases PostScript source

http://lambda-the-ultimate.org/node/5663

Lambda the Ultimate - Programming Languages Weblog 12/12/2022

history

The Verse Calculus: a Core Calculus for Functional Logic Programming

http://lambda-the-ultimate.org/node/5662

Lambda the Ultimate - Programming Languages Weblog 12/12/2022

functional

LtU is now running in a new, more stable environment

http://lambda-the-ultimate.org/node/5654

Lambda the Ultimate - Programming Languages Weblog 08/31/2022

admin

Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes

http://lambda-the-ultimate.org/node/5648

Lambda the Ultimate - Programming Languages Weblog 02/27/2022

implementation

Latent Effects for Reusable Language Components

http://lambda-the-ultimate.org/node/5640

Lambda the Ultimate - Programming Languages Weblog 10/14/2021

effects

Introducing PathQuery, Google's Graph Query Language

http://lambda-the-ultimate.org/introducing-google-path-query

Lambda the Ultimate - Programming Languages Weblog 06/30/2021

dsl

Google announces Logica: organizing your data queries, making them universally reusable and fun

http://lambda-the-ultimate.org/google-announces-logica

Lambda the Ultimate - Programming Languages Weblog 04/29/2021

fun

Coq will be renamed

http://lambda-the-ultimate.org/node/5629

Lambda the Ultimate - Programming Languages Weblog 04/08/2021

general

LAMBDA: The ultimate Excel worksheet function

http://lambda-the-ultimate.org/node/5621

Lambda the Ultimate - Programming Languages Weblog 01/26/2021

calculus

Google Brain's Jax and Flax

http://lambda-the-ultimate.org/google-brain-jax

Lambda the Ultimate - Programming Languages Weblog 01/15/2021

engineering

Built to Last

http://lambda-the-ultimate.org/node/5605

Lambda the Ultimate - Programming Languages Weblog 09/21/2020

critiques

Tackling the Awkward Squad for Reactive Programming

http://lambda-the-ultimate.org/node/5603

Lambda the Ultimate - Programming Languages Weblog 09/15/2020

forum

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy

http://lambda-the-ultimate.org/node/5597

Lambda the Ultimate - Programming Languages Weblog 07/24/2020

theory

Applications of Blockchain to Programming Language Theory

http://lambda-the-ultimate.org/ltu-blockchain-plt-thinktank

Lambda the Ultimate - Programming Languages Weblog 04/13/2020

fun

Turnstile+: Dependent Type Systems as Macros

http://lambda-the-ultimate.org/node/5587

Lambda the Ultimate - Programming Languages Weblog 02/14/2020

meta-programming

Histogram: You have to know the past to understand the present by Tomas Petricek

http://lambda-the-ultimate.org/node/5582

Lambda the Ultimate - Programming Languages Weblog 09/14/2019

forum

Applied Category Theory - The Emerging Science of Compositionality

http://lambda-the-ultimate.org/node/5581

Lambda the Ultimate - Programming Languages Weblog 08/05/2019

Tensor Considered Harmful

http://lambda-the-ultimate.org/tensor-considered-harmful

Lambda the Ultimate - Programming Languages Weblog 06/27/2019

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

http://lambda-the-ultimate.org/node/5571

Lambda the Ultimate - Programming Languages Weblog 04/27/2019

"Three Things I Wish I Knew When I Started Designing Languages"

http://lambda-the-ultimate.org/node/5569

Lambda the Ultimate - Programming Languages Weblog 03/18/2019

parallel/distributed

Selective Functors

http://lambda-the-ultimate.org/story-selective-functors

Lambda the Ultimate - Programming Languages Weblog 03/05/2019

functional

The Little Typer

http://lambda-the-ultimate.org/node/5552

Lambda the Ultimate - Programming Languages Weblog 09/24/2018

theory

On compositionality

http://lambda-the-ultimate.org/node/5550

Lambda the Ultimate - Programming Languages Weblog 09/07/2018

general

1 - 24 of 249