Search
 
   

4 results for "domain:staff.science.uu.nl"

  1. 18
    xmonad in Coq: programming a window manager in a proof assistant pdf haskell staff.science.uu.nl
    pushcx avatar via pushcx 1 year ago | cached | 1 comment
  2. 6
    Data types a la carte pdf haskell programming staff.science.uu.nl
    bitemyapp avatar via bitemyapp 3 years ago | cached | 2 comments
  3. 10
    How to become a Good Theoretical Physicist science staff.science.uu.nl
    davyjones avatar via davyjones 4 years ago | cached | no comments
  4. 1
    Flexible Muscle-Based Locomotion for Bipedal Creatures compsci staff.science.uu.nl
    jm avatar via jm 4 years ago | cached | no comments