Snippets created by Ademar Gonzalez
TCP/IP Proxy
A minimal TCP/IP proxy implementation with F# asynchronous workflows
11 people like this
Posted: 1 years ago by Ademar GonzalezHow to write a financial contract
Implements the theory from 'How to write a financial contract' by S.L Peyton Jones and J-M Eber
7 people like this
Posted: 1 years ago by Ademar GonzalezUniversal Type
Implements a type into which any other type can be embedded. Check out this link for a discussion: http://ocaml.janestreet.com/?q=node/18
8 people like this
Posted: 9 months ago by Ademar Gonzalez
RSK algorithm
Implements a bijective mapping between permutations and pairs of standard Young tableaux, both having the same shape. http://en.wikipedia.org/wiki/Robinson%E2%80%93Schensted_correspondence
4 people like this
Posted: 7 months ago by Ademar GonzalezHeterogeneous container
OCaml original here : http://eigenclass.org/R2/writings/heterogeneous-containers-in-ocaml
7 people like this
Posted: 4 months ago by Ademar Gonzalez