Lambda the Ultimate

programming languages Add Tag

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

Posts

Common Lisp: The Untold Story Posted 2 weeks, 3 days ago
Evaluating the Design of the R Language Posted 3 weeks, 3 days ago
Why and How People Use R Posted 4 weeks ago
Iverson's _A Programming Language_ Posted 1 month ago
Retrospective Thoughts on BitC Posted 1 month, 3 weeks ago
Parsing: The Solved Problem That Isn't Posted 1 month, 4 weeks ago
Programming with Algebraic Effects and Handlers Posted 2 months, 1 week ago
Examples of Lisp Code Typography Posted 2 months, 1 week ago
Language mystery: identify the source language to a worm based on its object code Posted 2 months, 1 week ago
What does focusing tell us about language design? Posted 2 months, 2 weeks ago
Informed dissent: William Cook contra Bob Harper on OOP Posted 2 months, 2 weeks ago
Announcing Lang.NEXT - A Free Event for PL Designers and Implementers Hosted By Microsoft Posted 2 months, 2 weeks ago
Adding Delimited and Composable Control to a Production Programming Environment Posted 2 months, 2 weeks ago
Milawa on Jitawa: a Verified Theorem Prover Posted 2 months, 2 weeks ago
When Formal Systems Kill: Computer Ethics and Formal Methods Posted 2 months, 3 weeks ago
Julia, a language for technical computing Posted 3 months ago
A Concept Design for C++ Posted 3 months ago
R7RS public comment period (June 30, 2012) Posted 3 months ago
Why Concatenative Programming Matters Posted 3 months ago
Effective Scala Posted 3 months, 1 week ago
Programming as collaborative reference Posted 3 months, 2 weeks ago
The Algebra of Data, and the Calculus of Mutation Posted 3 months, 2 weeks ago
Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Posted 3 months, 3 weeks ago
Beyond pure Prolog: Power and danger Posted 3 months, 3 weeks ago
Deca, an LtU-friendly bare metal systems programming language Posted 4 months, 2 weeks ago
Seven Myths of Formal Methods Revisited Posted 4 months, 3 weeks ago
Dependently Typed Programming based on Automated Theorem Proving Posted 4 months, 4 weeks ago
Cambridge Course on "Usability of Programming Languages" Posted 5 months ago
CRA-W/CDC and SIGPLAN Programming Languages Mentoring Workshop Posted 5 months, 3 weeks ago
LTL types FRP Posted 6 months, 1 week ago
Extensible Programming with First-Class Cases Posted 6 months, 3 weeks ago
Foundations of Inference Posted 6 months, 3 weeks ago
The Experimental Effectiveness of Mathematical Proof Posted 6 months, 3 weeks ago
Microsoft Roslyn Project whitepaper Posted 6 months, 3 weeks ago
John McCarthy has passed Posted 6 months, 3 weeks ago
Dennis Ritchie passed away Posted 7 months, 1 week ago
Google's Dart announced Posted 7 months, 1 week ago
Open thread: RIP Steve Jobs Posted 7 months, 2 weeks ago
Parallel frameworks for graph processing Posted 7 months, 3 weeks ago
Google's "The Future of JavaScript" internal memo leaked Posted 8 months, 1 week ago
The SAFE Platform Posted 8 months, 1 week ago
A Semantic Model for Graphical User Interfaces Posted 8 months, 1 week ago
What needs to be done? Posted 8 months, 1 week ago
The Trouble with Erlang Posted 8 months, 1 week ago
the gnu extension language Posted 8 months, 3 weeks ago
[ANN] FP Day 2011 - October 14th. Cambridge, UK. Posted 8 months, 3 weeks ago
Clusterken Posted 8 months, 3 weeks ago
Opa Posted 8 months, 4 weeks ago
Scott Meyers, Andrei Alexandrescu and Herb Sutter: C++ and Beyond (D) Posted 8 months, 4 weeks ago
A Monadic Framework for Delimited Continuations Posted 8 months, 4 weeks ago
Programming and Scaling Posted 9 months, 2 weeks ago
ECOOP 2011 slides Posted 9 months, 2 weeks ago
Lightweight Monadic Programming in ML Posted 9 months, 3 weeks ago
F*: A Verifying ML Compiler for Distributed Programming Posted 10 months ago
Clojurescript Posted 10 months ago
Levy: a Toy Call-by-Push-Value Language Posted 10 months, 1 week ago
Of Course ML Has Monads! Posted 10 months, 3 weeks ago
Why Programming Languages? Posted 10 months, 3 weeks ago
Announcing Ozma: extending Scala with Oz concurrency Posted 10 months, 4 weeks ago
modules are anti-modular Posted 11 months ago
ISO/IEC 24772 Posted 11 months ago
50 in 50: Steele & Gabriel at RailsConf 2011 Posted 11 months ago
Speci?cation and Veri?cation: The Spec# Experience Posted 11 months, 3 weeks ago
Rob Pike: Public Static Void Posted 12 months ago
Passing a Language through the Eye of a Needle Posted 1 year ago
Kleisli Arrows of Outrageous Fortune Posted 1 year ago
A Larger Decidable Semiuni?cation Problem Posted 1 year ago
2011 APL Programming Contest is Open Posted 1 year ago
One Pass Real-Time Generational Mark-Sweep Garbage Collection Posted 1 year ago
Data Representation Synthesis Posted 1 year ago
Enso: William Cook's new programming model Posted 1 year ago
Why I invented Kinetic Rule Language (KRL)? Posted 1 year ago
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit Posted 1 year ago
First draft of Scheme R7RS small language available Posted 1 year, 1 month ago
Patterns in Functional Programming Posted 1 year, 1 month ago
Imperative Programs as Proofs via Game Semantics Posted 1 year, 1 month ago
Staking Claims: A History of Programming Language Design Claims and Evidence Posted 1 year, 1 month ago
Kona Posted 1 year, 1 month ago
Finding and Understanding Bugs in C Compilers Posted 1 year, 1 month ago
Type-checking Modular Multiple Dispatch with Parametric Polymorphism and Multiple Inheritance Posted 1 year, 2 months ago
Functor is to Lens as Applicative is to Biplate: Introducing Multiplate Posted 1 year, 2 months ago
Interview With Albert Gräf - Author of the Pure Programming Language Posted 1 year, 2 months ago
Rule 110 in HTML5 + CSS3 Posted 1 year, 2 months ago
Keyword and Optional Arguments in PLT Scheme Posted 1 year, 2 months ago
Leveled Garbage Collection Posted 1 year, 2 months ago
Memory Models: A Case for Rethinking Parallel Languages and Hardware, CACM, August 2010 Posted 1 year, 2 months ago
InfoQ video + transcript of Rob Pike on Go Posted 1 year, 2 months ago
Tractatus Computo-Philosophicus Posted 1 year, 3 months ago
The Habit Programming Language: The Revised Preliminary Report Posted 1 year, 3 months ago
Scripting with Types Posted 1 year, 3 months ago
Macros that Work Together Posted 1 year, 3 months ago
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing Posted 1 year, 3 months ago
Concurrent Pattern Calculus Posted 1 year, 3 months ago
Parametric Prediction of Heap Memory Requirements Posted 1 year, 4 months ago
Language Virtualization for Heterogeneous Parallel Computing Posted 1 year, 4 months ago
Scala Team Wins ERC Grant Posted 1 year, 4 months ago
The IO Monad is 45 years old Posted 1 year, 4 months ago
The Semicolon Wars Posted 1 year, 5 months ago
Azul's Pauseless Garbage Collector Posted 1 year, 5 months ago
Stressed by Distributed Programming? Well, CALM Down. Posted 1 year, 5 months ago
Semi-implicit batched remote code execution as staging Posted 1 year, 5 months ago
Continuation-Passing C: Compiling threads to events through continuations Posted 1 year, 5 months ago
Ghosts of Unix Past: a historical search for design patterns Posted 1 year, 5 months ago
Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit Posted 1 year, 5 months ago
Automatic Staged Compilation Posted 1 year, 5 months ago
Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 Posted 1 year, 5 months ago
Yacc is dead Posted 1 year, 5 months ago
The Triumph of Types: Principia Mathematica's Impact on Computer Science Posted 1 year, 5 months ago
Seven Languages in Seven Weeks Posted 1 year, 5 months ago
A Preliminary Survey on Functional Programming Posted 1 year, 6 months ago
Directly Reflective Meta-Programming Posted 1 year, 6 months ago
Generative Type Abstraction and Type-level Computation Posted 1 year, 6 months ago
Sawzall Language Open Sourced Posted 1 year, 6 months ago
Conservative Logic Posted 1 year, 6 months ago
Land of Lisp Posted 1 year, 6 months ago
Erasure and Polymorphism in Pure Type Systems Posted 1 year, 7 months ago
Using Hackage to Inform Language Design Posted 1 year, 7 months ago
First-class modules: hidden power and tantalizing promises Posted 1 year, 7 months ago
Haskell implementation in Javascript Posted 1 year, 7 months ago
Turning down the LAMP: Software specialization for the cloud Posted 1 year, 7 months ago
Design Principles Behind Smalltalk Posted 1 year, 7 months ago
Software Development with Code Maps Posted 1 year, 7 months ago
Eff - Language of the Future Posted 1 year, 7 months ago
Omega - Language of the Future Posted 1 year, 7 months ago
Thorn Posted 1 year, 8 months ago
FunLoft reactive, concurrent programming language Posted 1 year, 8 months ago
Fortifying Macros Posted 1 year, 8 months ago
Is Transactional Programming Actually Easier? Posted 1 year, 8 months ago
Joe Duffy: A (brief) retrospective on transactional memory Posted 1 year, 8 months ago
Abstract interpreters for free Posted 1 year, 8 months ago
Sapir-Whorf 70 years on Posted 1 year, 8 months ago
Ocaml 3.12 released Posted 1 year, 9 months ago
Type Classes as Objects and Implicits Posted 1 year, 9 months ago
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common Posted 1 year, 9 months ago
It's been ten years! Posted 1 year, 9 months ago
OSCON 2010 Emerging Languages Camp Posted 1 year, 9 months ago
The Mirah Language Posted 1 year, 10 months ago
Scribble: Closing the Book on Ad Hoc Documentation Tools Posted 1 year, 10 months ago
The Future of C# Posted 1 year, 10 months ago
App Inventor: Programming for non-programmers... again Posted 1 year, 10 months ago
The Rust Language Posted 1 year, 10 months ago
Handlers of Algebraic Effects Posted 1 year, 10 months ago
Traceable Data Types for Self-Adjusting Computation Posted 1 year, 10 months ago
An intuitionistic logic that proves Markov's principle Posted 1 year, 10 months ago
Compiling Structural Types on the JVM Posted 1 year, 10 months ago
Xtext: An IDE on the cheap Posted 1 year, 10 months ago
Why Undergraduates Should Learn the Principles of Programming Languages Posted 1 year, 11 months ago
Intel Concurrent Collections for Haskell Posted 1 year, 11 months ago
OpenSCAD - The Programmers Solid 3D CAD Modeller Posted 1 year, 11 months ago
A Theory of Typed Hygienic Macros Posted 1 year, 11 months ago
SIGPLAN's first Programming Languages Software Award goes to LLVM Posted 1 year, 11 months ago
Racket Released Posted 1 year, 11 months ago
Formal Compiler Implementation in a Logical Framework Posted 1 year, 11 months ago
Tropical Semirings Posted 1 year, 11 months ago
The Galois connection between syntax and semantics Posted 1 year, 11 months ago
berp Posted 1 year, 11 months ago
Milawa: A Self-Verifying Theorem Prover for an ACL2-Like Logic Posted 1 year, 11 months ago
The Resurgence of Parallelism Posted 1 year, 11 months ago
Functional Pearl: Species and Functors and Types, Oh My! Posted 1 year, 11 months ago
Adding Type Constructor Parameterization to Java Posted 1 year, 12 months ago
Alan Kay's 70th Posted 1 year, 12 months ago
Programming CNC machines in Haskell Posted 1 year, 12 months ago
Algol 58/60 Posted 2 years ago
The War on Spam Posted 2 years ago
The Right Tool Posted 2 years ago
On Iteration Posted 2 years ago
DesignerUnits Posted 2 years ago
Code Quarterly - The Hackademic Journal Posted 2 years ago
The Monad Zipper Posted 2 years ago
The Structure of Authority: Why security is not a separable concern Posted 2 years ago
VMKit: a Substrate for Managed Runtime Environments, VEE '10 Posted 2 years ago
SEC interested in formalising contracts ... in Python Posted 2 years, 1 month ago
Brians functional brain Posted 2 years, 1 month ago
More iPhone PL lockdown... Goodbye Scratch! Posted 2 years, 1 month ago
seL4: Formal Verification of an Operating-System Kernel Posted 2 years, 1 month ago
Maxine VM: A VM in Java Posted 2 years, 1 month ago
iPhone PL lockdown Posted 2 years, 1 month ago
Emerging Languages Conference Posted 2 years, 1 month ago
A Formal System For Euclid's Elements Posted 2 years, 1 month ago
Small is Beautiful: the design of Lua Posted 2 years, 1 month ago
Can functional programming be liberated from the von Neumann paradigm? Posted 2 years, 1 month ago
Clojure’s Mini-languages Posted 2 years, 1 month ago
Free logic books Posted 2 years, 1 month ago
Late Robin Milner Posted 2 years, 1 month ago
BitC is back Posted 2 years, 2 months ago
Code Bubbles Posted 2 years, 2 months ago
Have tracing JIT compiler's won? Posted 2 years, 2 months ago
Extending the Scope of Syntactic Abstraction Posted 2 years, 2 months ago
Can a Biologist Fix a Radio? Posted 2 years, 2 months ago
Objects to Unify Type Classes and GADTs Posted 2 years, 2 months ago
Testing release of a platform for hosting pure functional web applications Posted 2 years, 2 months ago
Reminder: OOPSLA is now SPLASH Posted 2 years, 3 months ago
A Lambda Calculus for Real Analysis Posted 2 years, 3 months ago
Joe-E: A Security-Oriented Subset of Java Posted 2 years, 3 months ago
Recent Progress in Quantum Algorithms Posted 2 years, 3 months ago
A few billion lines of code later: using static analysis to find bugs in the real world Posted 2 years, 3 months ago
Bart De Smet on .NET 4's System.Interactive library Posted 2 years, 3 months ago
Google TechTalk: The Evolution of End-User Programming Posted 2 years, 3 months ago
Computational Semantics with Functional Programming Posted 2 years, 3 months ago
Resolving and Exploiting the k-CFA Paradox Posted 2 years, 3 months ago
Continuity Analysis of Programs Posted 2 years, 3 months ago
Monads in Action Posted 2 years, 3 months ago
HipHop: Facebook runs compiled PHP on its servers Posted 2 years, 3 months ago
Delimited Control in OCaml, Abstractly and Concretely, System Description Posted 2 years, 3 months ago
The Recruitment Theory of Language Origins Posted 2 years, 3 months ago
Scala Days at EPFL, Lausanne, Switzerland Posted 2 years, 3 months ago
Project Sikuli Posted 2 years, 3 months ago
Clojure 1.1 and Beyond Posted 2 years, 3 months ago
The Theory and Calculus of Aliasing Posted 2 years, 3 months ago
Verified Just-In-Time Compiler on x86 Posted 2 years, 4 months ago
ScalaModules: a DSL for bringing OSGi to Scala Posted 2 years, 4 months ago
Syntactic Proofs of Compositional Compiler Correctness Posted 2 years, 4 months ago
A Verified Compiler for an Impure Functional Language Posted 2 years, 4 months ago
Certified Programming With Dependent Types Goes Beta Posted 2 years, 4 months ago
Why Normalization Failed to Become the Ultimate Guide for Database Designers? Posted 2 years, 4 months ago
Simplicial Databases Posted 2 years, 4 months ago
50 years of Advanced Programming – an Anniversary Seminar on Algol 60 Posted 2 years, 4 months ago
Physics, Topology, Logic and Computation: A Rosetta Stone Posted 2 years, 4 months ago
ParaSail, a new language oriented toward parallelism and verification Posted 2 years, 4 months ago
The year in review, and What's to come Posted 2 years, 4 months ago
Functional Pearl: Implicit Con?gurations —or, Type Classes Re?ect the Values of Types Posted 2 years, 4 months ago
Holiday Fun: How Programming Language Fanboys See Each Others’ Languages Posted 2 years, 4 months ago
Semantic types: a fresh look at the ideal model for types Posted 2 years, 4 months ago
EASTL -- Electronic Arts Standard Template Library Posted 2 years, 4 months ago
The AI Systems of Left 4 Dead Posted 2 years, 4 months ago
Super and Inner — Together at Last! Posted 2 years, 4 months ago
An Innocent Model of Linear Logic Posted 2 years, 5 months ago
Back to the Future: Lisp as a Base for a Statistical Computing System Posted 2 years, 5 months ago
Why API Design Matters Posted 2 years, 5 months ago