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

101 - 125 of 249

Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities

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

Lambda the Ultimate - Programming Languages Weblog 01/12/2016

implementation
Progress on Gradual Typing

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

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

lambda calculus
Static vs. Dynamic Languages: A Literature Review

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

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

general
BWK on "How to succeed in language design without really trying"

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

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

dsl
Compilers as Assistants

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

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

functional
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega

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

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

functional
On type safety for core Scala: "From F to DOT: Type Soundness Proofs with Definitional Interpreters"

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

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

ltu forum
GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness

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

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

admin
Optimizing Closures in O(0) time

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

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

functional
Dependent Types for Low-Level Programming

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

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

theory
Xavier Leroy will receive the Royal Society's 2016 Milner Award

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

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

functional
Coroutines with async and await syntax (Python 3.5)

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

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

python
Ancient use of generators

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

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

history
Portable Efficient Assembly Code-generation in High-level Python

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

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

dsl
Freer Monads, More Extensible Effects

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

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

functional
Haskell for Mac

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

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

ltu forum
Reagents: Expressing and Composing Fine-grained Concurrency

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

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

functional
OcaPic: Programming PIC microcontrollers in OCaml

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

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

ltu forum
Eric Lippert's Sharp Regrets

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

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

ltu forum
STABILIZER : Statistically Sound Performance Evaluation

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

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

implementation
State of the Haskell ecosystem - August 2015

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

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

functional
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

1
…
4
5
6
…
10

101 - 125 of 249