Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

1
2
3
4
…
11

49 - 72 of 249

Non-determinism: a sublanguage rather than a monad

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

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

A unified approach to solving seven programming problems

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

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

ICFP 2017 live streaming

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

Lambda the Ultimate - Programming Languages Weblog 09/03/2017

Proceedings of the ACM on Programming Languages

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

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

Graydon Hoare: What next for compiled languages?

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

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

Review of Graham Hutton's Programming in Haskell, 2e

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

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

Happy Birthday, dear Lambda: 17 is good edition

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

Lambda the Ultimate - Programming Languages Weblog 07/28/2017

Implementing Algebraic Effects in C

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

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

Project Snowflake: Non-blocking safe manual memory management in .NET

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

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

The Syntax and Semantics of Quantitative Type Theory

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

Lambda the Ultimate - Programming Languages Weblog 07/25/2017

hobbes, Morgan Stanley OSS

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

Lambda the Ultimate - Programming Languages Weblog 07/16/2017

p5.js

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

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

RustBelt: Securing the Foundations of the Rust Programming Language

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

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

Undefined Behavior in 2017

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

Lambda the Ultimate - Programming Languages Weblog 07/07/2017

YOW! Lambda Jam 2017: John Hughes - Why Functional Programming Matters

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

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

The APL Idiom List

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

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

Co-hygiene and quantum gravity

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

Lambda the Ultimate - Programming Languages Weblog 06/17/2017

Jean Sammet, Co-Designer of a Pioneering Computer Language, Dies at 89

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

Lambda the Ultimate - Programming Languages Weblog 06/04/2017

Imperative Functional Programs that Explain their Work

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

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

Databases from finite categories

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

Lambda the Ultimate - Programming Languages Weblog 05/24/2017

Type Systems as Macros

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

Lambda the Ultimate - Programming Languages Weblog 04/19/2017

Idris 1.0 Released

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

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

kdb+ 3.5 released last month

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

Lambda the Ultimate - Programming Languages Weblog 03/25/2017

Prolog vs mini-Kanren

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

Lambda the Ultimate - Programming Languages Weblog 03/10/2017

1
2
3
4
…
11

49 - 72 of 249