Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

1
…
8
9
10
11

193 - 216 of 249

Oral History of Adele Goldberg

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

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

PuzzleScript

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

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

Backpack: Retrofitting Haskell with a Module System, at last

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

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

A glimpse into a new general purpose programming language under development at Microsoft

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

Lambda the Ultimate - Programming Languages Weblog 12/27/2013

Print release of a textbook on the Coq proof assistant

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

Lambda the Ultimate - Programming Languages Weblog 12/13/2013

Call for Participation: Programming Languages Mentoring Workshop

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

Lambda the Ultimate - Programming Languages Weblog 11/22/2013

R7RS-small draft ratified by Steering Committee

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

Lambda the Ultimate - Programming Languages Weblog 11/21/2013

The origin of zero-based array indexing

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

Lambda the Ultimate - Programming Languages Weblog 11/20/2013

MOOC: Paradigms of Computer Programming

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

Lambda the Ultimate - Programming Languages Weblog 11/19/2013

Python and Scientific Computing

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

Lambda the Ultimate - Programming Languages Weblog 11/18/2013

Pure Subtype Systems

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

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

oop type theory object-functional lambda calculus

John C. Reynolds Doctoral Dissertation Award (SIGPLAN)

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

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

Taking Off the Gloves with Reference Counting Immix

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

Lambda the Ultimate - Programming Languages Weblog 10/09/2013

LVars: monotonic update for deterministic parallel programming

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

Lambda the Ultimate - Programming Languages Weblog 10/07/2013

parallel/distributed

Copatterns: the final approach to codata?

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

Lambda the Ultimate - Programming Languages Weblog 09/29/2013

xkcd: Functional

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

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

The Size-Change Termination Principle for Constructor Based Languages

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

Lambda the Ultimate - Programming Languages Weblog 09/18/2013

functional theory

Types for Flexible Objects

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

Lambda the Ultimate - Programming Languages Weblog 09/04/2013

theory type theory object-functional meta-programming

Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis)

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

Lambda the Ultimate - Programming Languages Weblog 08/05/2013

Extensible Effects -- An Alternative to Monad Transformers

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

Lambda the Ultimate - Programming Languages Weblog 07/29/2013

functional theory type theory logic/declarative

Mixed-Site Variance

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

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

Heap space analysis for garbage collected languages

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

Lambda the Ultimate - Programming Languages Weblog 06/29/2013

theory implementation

1
…
8
9
10
11

193 - 216 of 249