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
…
5
6
7
…
10

126 - 150 of 249

mbeddr: an Extensible C-based Programming Language and IDE for Embedded Systems

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

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

dsl
Tracking the Flow of Ideas through the Programming Languages Literature

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

Lambda the Ultimate - Programming Languages Weblog 07/20/2015

fun
Punctuated equilibrium in the large scale evolution of programming languages

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

Lambda the Ultimate - Programming Languages Weblog 07/17/2015

general
Cakes, Custard, and Category Theory

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

Lambda the Ultimate - Programming Languages Weblog 07/17/2015

category theory
Don Syme receives a medal for F#

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

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

cross language runtimes software engineering paradigms oop object-functional implementation general functional fun
Self-Representation in Girard’s System U

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

Lambda the Ultimate - Programming Languages Weblog 06/11/2015

functional type theory theory lambda calculus
Facebook open sources "Infer", static program analysis tool

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

Lambda the Ultimate - Programming Languages Weblog 06/11/2015

software engineering
Second-order logic explained in plain English

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

Lambda the Ultimate - Programming Languages Weblog 05/28/2015

type theory
The evolution of Rust

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

Lambda the Ultimate - Programming Languages Weblog 05/28/2015

ltu forum
Composite Replicated Data Types: eventually consistent libraries as non-leaky abstractions

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

Lambda the Ultimate - Programming Languages Weblog 05/21/2015

parallel/distributed
Draining the Swamp: Micro Virtual Machines as Solid Foundation for Language Development

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

Lambda the Ultimate - Programming Languages Weblog 05/17/2015

cross language runtimes implementation
Eve: the development diary of a programming environment aimed at non-programmers

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

Lambda the Ultimate - Programming Languages Weblog 05/14/2015

teaching & learning
FLOPS 2016, promoting cross-fertilization across the whole declarative programming and theory and practice

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

Lambda the Ultimate - Programming Languages Weblog 05/11/2015

ltu forum
Pycket: A Tracing JIT For a Functional Language

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

Lambda the Ultimate - Programming Languages Weblog 05/09/2015

implementation
The Unison Programming Platform

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

Lambda the Ultimate - Programming Languages Weblog 05/09/2015

functional implementation
BER MetaOCaml -- an OCaml dialect for multi-stage programming

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

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

implementation meta-programming
Generating compiler back ends at the snap of a finger

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

Lambda the Ultimate - Programming Languages Weblog 05/01/2015

ltu forum
Paul Hudak

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

Lambda the Ultimate - Programming Languages Weblog 04/24/2015

general
Everything old is new again: Quoted Domain Specific Languages

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

Lambda the Ultimate - Programming Languages Weblog 04/07/2015

dsl
The Next Stage of Staging

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

Lambda the Ultimate - Programming Languages Weblog 03/29/2015

functional type theory theory meta-programming
EATCS Award 2014: Gordon Plotkin

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

Lambda the Ultimate - Programming Languages Weblog 10/12/2014

general
CFP: Off-the-Beaten-Track (OBT) workshop at POPL 2015

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

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

ltu forum
Domain settings

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

Lambda the Ultimate - Programming Languages Weblog 10/04/2014

admin
sml-family.org

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

Lambda the Ultimate - Programming Languages Weblog 09/30/2014

fun functional history implementation paradigms semantics theory
Inferring algebraic effects

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

Lambda the Ultimate - Programming Languages Weblog 09/27/2014

functional implementation paradigms semantics theory

1
…
5
6
7
…
10

126 - 150 of 249