Travelled to:
1 × Canada
1 × France
1 × The Netherlands
3 × USA
Collaborated with:
∅ R.F.Swonger C.M.Scott M.Shaw D.Garlan
Talks about:
structur (2) function (2) data (2) architectur (1) exponenti (1) algorithm (1) adventur (1) softwar (1) exercis (1) breadth (1)
Person: Chris Okasaki
DBLP: Okasaki:Chris
Facilitated 1 volumes:
Contributed to:
Wrote 7 papers:
- ICFP-2000-Okasaki #algorithm #design #lessons learnt
- Breadth-first numbering: lessons from a small exercise in algorithm design (CO), pp. 131–136.
- ICFP-1999-Okasaki #matrix #performance
- From Fast Exponentiation to Square Matrices: An Adventure in Types (CO), pp. 28–35.
- ICFP-1997-Okasaki
- Catenable Double-Ended Queues (CO), pp. 66–74.
- AFP-1996-Okasaki96 #data type #functional
- Functional Data Structures (CO), pp. 131–158.
- ICFP-1996-Okasaki #data type #evaluation #lazy evaluation
- The Role of Lazy Evaluation in Amortized Data Structures (CO), pp. 62–72.
- FPCA-1995-Okasaki #functional
- Purely Functional Random-Access Lists (CO), pp. 86–95.
- SEI-1992-SwongerSOSG #architecture #experience
- Experience with a Course on Architectures for Software Systems (RFS, CMS, CO, MS, DG), pp. 23–43.