Defunctionalisation At Work
Reynolds’s defunctionalization technique is a whole-program transformation
from higher-order to first-order functional programs.
functional  papers  compilers 
6 weeks ago
« earlier      
3d accessibility advertising advice ai algorithms animation animu api architecture art asynchronicity audio australia authentication awesome bash blogs books business c caching canvas category-theory cheatsheet clojure colour compilers compsci concurrency conferences console cosplay css css3 culture d3 database debugging deepend demo deployment design development devops distributed docker ecommerce education electronics elixir elm ergodox erlang facebook feminism filetype:jpg flow flowtype font fonts forms frp functional gamedev games gaming gem geo gif gif-what git github golang google graphics graphs grid hack hardware haskell health hiring history holyshit html5 http humour icons ideas images inspiration interviews ios iphone japan japanese javascript jquery json language library linux mac management maps marketing mathematics media:image mobile modelling monads monitoring montante movies music nginx node.js nodefest nosql ocaml office oop optimisation orion papers parenting parsing patterns performance photography photos php physics politics portfolio postgres presentations procedural-generation productivity programming projects puppet purescript python quickcheck quotes rails react recipes redis redux reference responsive retro roughcuts ruby rust scala scalability science security smash soa social space spadone standing-desk startrek startup starwars statistics styleguide svg swords sysadmin teaching testing themes ticketing todo tools tshirts tutorial twitter type-safety type-systems type-theory typescript typography ubuntu ui usability versioning video videos vim visualisation wallpaper web webgl windows wishlist wordpress wtf yahoo

Copy this bookmark:



description:


tags: