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 Gonzalez

  • How 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 Gonzalez

  • Universal 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 Gonzalez

  • Heterogeneous container

    OCaml original here : http://eigenclass.org/R2/writings/heterogeneous-containers-in-ocaml

    7 people like this
    Posted: 4 months ago by Ademar Gonzalez