Ezra's Research
Programming languages. Ezra Cooper.
Archives
Which exactly answers its end
The Scala-Yammer note
Publishing on the up-and-up
Statement of Purpose
From bi-polar to bi-winning
Join algorithms
Polis and Oikos online
Much Ado About Parentheses
Compiling regex-posix in Haskell for Windows
Installing Gtk2Hs on MacOS
Big Lambda
What ARE anamorphisms
Simply adding lambda won't make your rewrites diverge
Krugman
What I'm doing now
Time-saving proposal to improve the reviewing process
Function calls are not stack frames
Re-running
Thesis submitted
Dept. of Wheel Reinvention
Big Numbers
Quick beard note
Discovering the platform, and the problem
Apologies
Bon mot
Embarrassingly Oblique
'Pleasingly, these qualities are also what are needed scientifically'
Grust & Schreiber's Ferry: Database Queries in a Sensible Language
Hiatus
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
Programming Activity
Programming Languages
Pure Math
Research Writing
Technology
User Interface
Web
Working
Archives
March 2012
December 2011
August 2011
May 2011
March 2011
February 2011
January 2011
October 2010
July 2010
March 2010
February 2010
January 2010
November 2009
September 2009
July 2009
June 2009
May 2009
March 2009
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
Which exactly answers its end
The Scala-Yammer note
Publishing on the up-and-up
Statement of Purpose
From bi-polar to bi-winning
Join algorithms
Polis and Oikos online
Much Ado About Parentheses
Compiling regex-posix in Haskell for Windows
Installing Gtk2Hs on MacOS
Subscribe to this blog's feed
[
What is this?
]
This weblog is licensed under a
Creative Commons License
.
Powered by
Movable Type 3.33