Gilles' MSc
Archives
Closing down
Good bye Edinburgh
The report
The end is near
Fighting boredom
And plenty of pages
And pages
And pages
And pages
Pages
A slow Monday
Administrative work
Reporting
Reporting
A little reading
Reporting
More on syntax
Posting nevertheless
The report
There, at last
Nearly there again
Nearly there
Still not there
And go, and go ...
Touch and go
Annoyance
Fiddling with SLinks
Better sort
Three bugs
Sorting out the sort optimisation
Sort operator 3
Other people's work
Sort operator 2
Sort operator
Moving variables declarations
Worked on the report
Not that easy after all
Back to work
A happy Christmas
Typing, typing and retyping
System F
Type erasure
Hitting a ladder
More of yesterday's
Snakes and ladders
Oops, a bug again
It's all about optimisation
Where to go now?
Join optimisations
Fixing the SQL handling part
More joins 2
More joins
Starting with joins
A little push
Pushing selections
Looking at Kleisli again
Projection optimisation
Optimality
Back to Limsoon
Queries executed
Executing queries II
Executing queries
Exchanging recursive types for a bug
Recursive types
Expression problem
Conditional pattern matching
Pattern matching
Not all bugs are mine
Things to improve
Softening the edges
Recursive function declarations
ODBC
SLinks
Collections
The type is not enough
The creeping bug is gone
Yet another creeping bug
Comprehension syntax
Back to work: lists
Sweetening things up
It's starting to look pretty
There was no point in hoping
Nearly there (hopefully)
Luis Damas
The type of types
Writing code again
Some housekeeping and more reading
Kinds, flagged fields and subtyping
Reading, reading and more reading
Plenty to read
One day is not enough
More typing algorithms
Type constraints and record well-typings
Wand's simple objects
Limsoon Wong and a squashed bug
Algorithm W implementation
Hindley-Milner algorithm
A new weblog is born
Search
Search this blog:
Archives
April 2005
February 2005
January 2005
December 2004
November 2004
October 2004
September 2004
Recent Posts
Closing down
Good bye Edinburgh
The report
The end is near
Fighting boredom
And plenty of pages
And pages
And pages
And pages
Pages
Subscribe to this blog's feed
[
What is this?
]
Powered by
Movable Type 3.2b3