Travelled to:1 × Canada
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:∅ D.S.Wise K.Hammond S.L.P.Jones P.Wadler M.R.McGee-Lennon M.K.Wolters R.McLachlan S.A.Brewster
Talks about:type (2) represent (1) optimis (1) musicon (1) hindley (1) strict (1) stream (1) remind (1) milner (1) haskel (1)
Person: Cordelia V. Hall
DBLP: Hall:Cordelia_V=
Contributed to:
2011
1994
1994
1987Wrote 4 papers:
- CHI-2011-McGee-LennonWMBH
- Name that tune: musicons as reminders in the home (MRML, MKW, RM, SAB, CVH), pp. 2803–2806.
- ESOP-1994-HallHJW #haskell
- Type Classes in Haskell (CVH, KH, SLPJ, PW), pp. 241–256.
- LFP-1994-Hall #representation #type inference #using
- Using Hindley-Milner Type Inference to Optimise List Representation (CVH), pp. 162–172.
- POPL-1987-HallW #compilation #strict
- Compiling Strictness into Streams (CVH, DSW), pp. 132–143.