Search
 
   

2 results for "domain:publications.lib.chalmers.se"

  1. 9
    Implementing and Optimizing a Simple, Dependently-Typed Language (2010) ☶ pdf compilers haskell plt publications.lib.chalmers.se
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | 5 comments
  2. 7
    Safer smart contracts through type-driven development pdf haskell security publications.lib.chalmers.se
    355E3B avatar via 355E3B 2 years ago | cached | no comments