Search
 
   

6 results for "domain:cs.bham.ac.uk"

  1. 6
    An introduction to C++ template programming (2016) pdf book c++ cs.bham.ac.uk
    pushcx avatar via pushcx 24 days ago | cached | 1 comment
  2. 20
    A Short Introduction to the Lambda Calculus ☶ pdf compsci cs.bham.ac.uk
    asthasr avatar via asthasr 1 year ago | cached | 24 comments
  3. 26
    Why is lambda calculus named after that specific Greek letter? Do not believe the rumours! programming researchblogs.cs.bham.ac.uk
    apy avatar via apy 2 years ago | cached | no comments
  4. 11
    Two views of programming language design compilers researchblogs.cs.bham.ac.uk
    bkudria avatar via bkudria 3 years ago | cached | no comments
  5. 12
    Types: computation vs. interaction compsci researchblogs.cs.bham.ac.uk
    gaustin avatar via gaustin 3 years ago | cached | 4 comments
  6. 4
    Integrating Dependent and Linear Types (draft) pdf compsci programming cs.bham.ac.uk
    BruceM avatar via BruceM 4 years ago | cached | 1 comment