cs.nott.ac.uk: 10 stories from 6 submitters

  1. 7
    Call-by-Need Is Clairvoyant Call-by-Value (2019) pdf plt cs.nott.ac.uk
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 3
    It’s Easy As 1,2,3 pdf compsci cs.nott.ac.uk
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 3
    Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell ☶ pdf formalmethods haskell plt cs.nott.ac.uk
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    Call-by-Need Is Clairvoyant Call-by-Value ☶ pdf formalmethods plt programming cs.nott.ac.uk
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 7
    Monadic Parsing in Haskell (1998) pdf haskell cs.nott.ac.uk
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 3
    Implementing and Optimizing Functional Reactive Programming (2016) pdf slides haskell performance plt cs.nott.ac.uk
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    A tutorial on the universality and expressiveness of fold (1999) pdf compsci cs.nott.ac.uk
    asthasr avatar via asthasr 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    Introduction to Domain Theory compsci math cs.nott.ac.uk
    jozefg avatar via jozefg 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 12
    Introduction to Category Theory compsci cs.nott.ac.uk
    SeanTAllen avatar via SeanTAllen 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 2
    A tutorial on the universality and expressiveness of fold pdf compsci cs.nott.ac.uk
    banjiewen avatar via banjiewen 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments