Search
 
   

8 results for "domain:homepages.inf.ed.ac.uk"

  1. 4
    Compiler Fuzzing through Deep Learning ☶ pdf testing homepages.inf.ed.ac.uk
    ceh avatar via ceh 1 month ago | cached | no comments
  2. 12
    The Lambda Calculus: Practice and Principle ☶ pdf plt satire homepages.inf.ed.ac.uk
    NinjaTrappeur avatar via NinjaTrappeur 3 months ago | cached | 1 comment
  3. 1
    Heap Bounded Assembly Language (2002) ☶ pdf assembly formalmethods plt homepages.inf.ed.ac.uk
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 4
    Monads for functional programming pdf programming homepages.inf.ed.ac.uk
    balajmarius avatar via balajmarius 7 months ago | cached | 1 comment
  5. 5
    The Next 700 Programming Languages (1965) pdf historical homepages.inf.ed.ac.uk
    av avatar via av 7 months ago | cached | no comments
  6. 5
    Do Be Do Be Do ☶ pdf compsci homepages.inf.ed.ac.uk
    bsima avatar via bsima 1 year ago | cached | no comments
  7. 5
    Propositions as Types pdf compsci math homepages.inf.ed.ac.uk
    pushcx avatar via pushcx 3 years ago | cached | no comments
  8. 6
    The Expression Problem (1998) java programming homepages.inf.ed.ac.uk
    numberten avatar via numberten 3 years ago | cached | 2 comments