Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

Sort by: Date tagged Date published

1
2
3
…
10

1 - 25 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

category
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
History of Lisp

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

Lambda the Ultimate - Programming Languages Weblog 08/25/2018

fun

1
2
3
…
10

1 - 25 of 249