lucacardelli.name: 7 stories from 5 submitters

  1. 10
    Type Systems (2004) pdf plt lucacardelli.name
    calvin avatar via calvin 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  2. 3
    Mobile Ambients (2003) pdf compsci lucacardelli.name
    imode avatar via imode 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  3. 14
    Crabs: The Bitmap Terror (1985) pdf graphics historical lucacardelli.name
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  4. 4
    Typeful Programming (1991) ☶ pdf formalmethods plt programming lucacardelli.name
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 8
    Luca Cardelli person lucacardelli.name
    bsima avatar via bsima 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  6. 6
    The ClearDesk Project(or) (1997) hardware historical lucacardelli.name
    calvin avatar via calvin 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 23
    Compiling a Functional Language ☶ pdf compilers ml lucacardelli.name
    lojikil avatar via lojikil 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments