Ezra's Research
Progamming languages. Ezra Cooper.
Archives
ECMAScript 4 & Apple's resistance
Formlets; Idioms, arrows and monads
motor sounds
Der Hauptsatz
Discovery! \qedhere
Sensible SQL: The second typing for grouped columns
Slow blog year chez Ezra
NamedGZipStream, Covariance and Contravariance
Mitzenmacher's Theory Book
null == undefined
Yhc : Haskell -> JavaScript
A located lambda calculus
Huzzah
Bracha on Monkey Patching
Fancy math, basics
The Theory of Interstellar Trade
MapReduce slides from Google
Classics
On Why Most Published Research Findings Are False
lambda.pm
'raises' predicate (Haskell)
Mixed feelings
Is too valid
Logarithmic Slowdown of Functional Languages?
Foundational Papers in Programming Languages
Elements
Abstraction and Variation
The 'Attempt' Environment
Catenate
On Creative Thinking
Memoizing pages
CS & Gender Notes from All Over
Missing Features of HTML
Alligator Eggs
Time to market
What "A Normal Form" is short for
Eclipse considered harmful for learning
Overloading in web programming languages
Published slides from Amazon talk 16 Mar 07
Links Talk at Amazon in Edinburgh
New Erlang Book
DrScheme UI complaints
Whistle While You Work
Programming Graphics and Getting Eyeballs
A Productive Week
Think in Closures?
More web gimmicks
Work Today
Transactions
The Ebay Architecture
To do
QuickCheck
Large Red Button
Bloody Semicolons
Things I learned about TeX today
Coq
Typographical values
Why Practitioners Don't Use Research Papers
Lambda 5: Modal Logic Inpsires a "Distributed" Programming Language
Oregon Summer School: Further Notes
Ordinal Numbers Intro
Oregon Summer School: Early Lectures
On Semicolon Wars
#haskell
STM in Pugs
Web Continuations Considered Not So Harmful
Pi-calculus solves consensus
Web Architecture
Please refer to this Uri
What Can Be Implemented Anonymously?
Concurrency Theory
The 'Scalability' Bugaboo
100s of Results
Browser Internals
The Snowblower Problem
ISBNdb Web API
Breaking Engima (still)
Interactivity Helps
The Week in Web Languages
Poet at OOPSLA
How Much Contention in STM?
3-body Problem in Haskell
Crazy MacOS Header Values
Idiots are a Lot Smarter
3-body Problem in Erlang
Distributed Modeling
Multi-way Joins in Links
SeaFunc: Stumbling Monk
Message-passing and Entanglement
Term-Rewriting Combinators
Languages and Multithreading
Raw Data Lacking on the Web
Browsers are [not] quick; more on functional GUIs
On Not Designing XML languages
Query optimization limitations: projection
Haskell Activity
Reference Draggable List
Better Comprehension Through Memo(r)ization
Tricky Query Optimizations
Nesting into SQL
Simplifying XML
What Web Apps Are
Del.icio.us Technology Revealed
Removing Duplicates From a Database
Items to do from today's meeting
Shared Memory
Sugar for continuations
Bugs fixed in Links (Mutually-recursive functions, etc.)
Functional Reactive Web GUIs
A Primal Scream
On my mind
Ways of Denoting Form Handlers
OCaml Gripes
On Loosely-Joining Small Pieces
Against Databases
Meeting Notes
Progress: Web Stack Implemented
A Case for Reflection in HOT Languages
Why We Need a Web Control Stack
Links App Work
GHC & Extensible Records
Web Architecture
The Utility of PUT
The Annotations Problem
My Research
The Draggable List: a Benchmark Widget for Web Languages
Ruby DSLs & Juggling
$IOCCC
Setting Up CVS
Recursive Types in Ocaml
Continuation Typing Questions
Links on MacOS X
Representable Continuations
More on the "handle ... with ..." construct
Representing continuations
Constructs for Composable Web Page Features
Hazards of continuation-passing
Links Bug
Gripes with SLinks Implementation
Do CPS transformation on interpreter
Simplifying, Serializing and Lifting
Straw Man Against Static Typing
The Cat Keeps Coming Back
RIFE: Continuations in a Java Web Framework?
Closures Considered Neat
Questions
Running Links
Web Continuations Review
Playing with toys
Jetty 'Continuations'
Search
Search this blog:
Categories
Complexity
Concurrency
Constructive Criticism
Databases
Distributed Computing
Hacks
History
Links
Modeling
Programming Languages
Pure Math
Research Writing
Technology
User Interface
Web
Archives
October 2008
September 2008
August 2008
April 2008
March 2008
January 2008
October 2007
September 2007
August 2007
June 2007
May 2007
March 2007
February 2007
January 2007
December 2006
November 2006
October 2006
September 2006
August 2006
July 2006
June 2006
May 2006
April 2006
March 2006
February 2006
January 2006
December 2005
November 2005
October 2005
September 2005
Recent Posts
ECMAScript 4 & Apple's resistance
Formlets; Idioms, arrows and monads
motor sounds
Der Hauptsatz
Discovery! \qedhere
Sensible SQL: The second typing for grouped columns
Slow blog year chez Ezra
NamedGZipStream, Covariance and Contravariance
Mitzenmacher's Theory Book
null == undefined
Subscribe to this blog's feed
[
What is this?
]
This weblog is licensed under a
Creative Commons License
.
Powered by
Movable Type 3.33