Copperbox revision 516.
More work on type inference, though I'm not getting very far. I've added another doodle that infers a much smaller subset of ML than MinCaml, but this has problems with letrec or maybe app (or maybe both).
Blog Archive
-
▼
2009
(651)
-
▼
March
(34)
- HNotate
- HNotate
- HNotate
- anaMap and accumMapL
- HNotate
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- ZBitmap
- Hawa
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
- HMinCaml
-
▼
March
(34)
About Me
- Stephen Tetley
- Disambiguating biog as there are a few Stephen Tetley's in the world. I'm neither a cage fighter or yachtsman. I studied Fine Art in the nineties (foundation Bradford 1992, degree Cheltenham 1992 - 95) then Computing part-time at Leeds Met graduating in 2003. I'm the Stephen Tetley on Haskell Cafe and Stackoverflow.