Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

1
2
3
4
5
…
11

73 - 96 of 249

The complexity of abstract machines

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

Lambda the Ultimate - Programming Languages Weblog 01/11/2017

lambda calculus

Stroustrup's Rule and Layering Over Time

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

Lambda the Ultimate - Programming Languages Weblog 12/16/2016

Do Be Do Be Do

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

Lambda the Ultimate - Programming Languages Weblog 12/15/2016

Contextual isomorphisms

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

Lambda the Ultimate - Programming Languages Weblog 12/09/2016

Joe Armstrong Interviews Alan Kay

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

Lambda the Ultimate - Programming Languages Weblog 11/25/2016

Polymorphism, subtyping and type inference in MLsub

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

Lambda the Ultimate - Programming Languages Weblog 11/23/2016

Salon des Refusés -- Dialectics for new computer science

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

Lambda the Ultimate - Programming Languages Weblog 11/23/2016

Proving Programs Correct Using Plain Old Java Types

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

Lambda the Ultimate - Programming Languages Weblog 11/04/2016

Automating Ad hoc Data Representation Transformations

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

Lambda the Ultimate - Programming Languages Weblog 09/22/2016

NOOL 2016

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

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

PowerShell is open sourced and is available on Linux

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

Lambda the Ultimate - Programming Languages Weblog 08/19/2016

cross language runtimes

Philip Wadler: Category Theory for the Working Hacker

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

Lambda the Ultimate - Programming Languages Weblog 08/07/2016

category theory

Fully Abstract Compilation via Universal Embedding

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

Lambda the Ultimate - Programming Languages Weblog 07/27/2016

lambda calculus

Admin

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

Lambda the Ultimate - Programming Languages Weblog 07/03/2016

Dynamic Witnesses for Static Type Errors (or, ill-typed programs usually go wrong)

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

Lambda the Ultimate - Programming Languages Weblog 06/18/2016

Set-Theoretic Types for Polymorphic Variants

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

Lambda the Ultimate - Programming Languages Weblog 06/09/2016

How to Build Static Checking Systems Using Orders of Magnitude Less Code

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

Lambda the Ultimate - Programming Languages Weblog 06/02/2016

No value restriction is needed for algebraic effects and handlers

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

Lambda the Ultimate - Programming Languages Weblog 05/25/2016

A Farewell to FRP in Elm

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

Lambda the Ultimate - Programming Languages Weblog 05/10/2016

Simon Peyton Jones elected into the Royal Society Fellowship

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

Lambda the Ultimate - Programming Languages Weblog 04/30/2016

Chez Scheme now open-source

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

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

Remora: An Array-Oriented Language with Static Rank Polymorphism

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

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

Type Checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance

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

Lambda the Ultimate - Programming Languages Weblog 03/31/2016

object-functional

Usability of Programming Languages SIG at CHI'2016

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

Lambda the Ultimate - Programming Languages Weblog 03/24/2016

1
2
3
4
5
…
11

73 - 96 of 249