Input feed: Lambda the Ultimate - Programming Languages Weblog

121 - 144 of 249

Using Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs

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

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

paradigms

ACM Classic Books Series

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

Lambda the Ultimate - Programming Languages Weblog 08/16/2015

history

Ceptre: A Language for Modeling Generative Interactive Systems.

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

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

logic/declarative

Running Probabilistic Programs Backwards

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

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

semantics

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

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

121 - 144 of 249

Input feed: Lambda the Ultimate - Programming Languages Weblog

State of the Haskell ecosystem - August 2015

Using Commutative Assessments to Compare Conceptual Understanding in Blocks-based and Text-based Programs

ACM Classic Books Series

Ceptre: A Language for Modeling Generative Interactive Systems.

Running Probabilistic Programs Backwards

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

Tracking the Flow of Ideas through the Programming Languages Literature

Punctuated equilibrium in the large scale evolution of programming languages

Cakes, Custard, and Category Theory

Don Syme receives a medal for F#

Self-Representation in Girard’s System U

Facebook open sources "Infer", static program analysis tool

Second-order logic explained in plain English

The evolution of Rust

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

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

Eve: the development diary of a programming environment aimed at non-programmers

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

Pycket: A Tracing JIT For a Functional Language

The Unison Programming Platform

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

Generating compiler back ends at the snap of a finger

Paul Hudak

Everything old is new again: Quoted Domain Specific Languages