Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

1
…
6
7
8
…
11

145 - 168 of 249

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

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

Domain settings

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

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

LtU's new server

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

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

Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures

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

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

functional theory

Inside the Wolfram Language

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

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

What's in store for the most widely used language by discerning hackers?

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

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

An operational and axiomatic semantics for non-determinism and sequence points in C

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

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

lambda calculus

Luca Cardelli Festschrift

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

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

category theory lambda calculus misc books semantics theory type theory

Re-thinking Prolog

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

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

Scratch jr

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

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

Scala woes?

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

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

Howard on Curry-Howard

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

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

history type theory

Cost semantics for functional languages

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

Lambda the Ultimate - Programming Languages Weblog 08/14/2014

implementation lambda calculus

Stream Processing with a Spreadsheet

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

Lambda the Ultimate - Programming Languages Weblog 08/13/2014

Safely Composable Type-Specific Languages

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

Lambda the Ultimate - Programming Languages Weblog 08/11/2014

dsl implementation software engineering

A Next Generation Smart Contract and Decentralized Application Platform

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

Lambda the Ultimate - Programming Languages Weblog 07/23/2014

dsl paradigms parallel/distributed

InterState: A Language and Environment for Expressing Interface Behavior

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

Lambda the Ultimate - Programming Languages Weblog 07/23/2014

Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)

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

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

Interactive scientific computing; of pythonic parts and goldilocks languages

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

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

history scientific programming

2014 APL Programming Competition is Open

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

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

1
…
6
7
8
…
11

145 - 168 of 249