David Yallop

Results: 8



#Item
1Cryptographic software / Functional languages / OCaml / Caml / Functional programming / Transport Layer Security / OpenSSL / LibreSSL / Preprocessor / Ctypes / Monad / Language binding

OCaml inside: a drop-in replacement for libtls Enguerrand Decorne (speaker), Jeremy Yallop, David Kaloper-Meršinjak University of Cambridge Computer Laboratory Introduction: openssl to libtls to libnqsb-tls

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2016-08-18 12:03:29
2Software engineering / Computer programming / Computing / C++ / C / Data types / Object-oriented programming languages / Functional languages / Typedef / OCaml / Const / Pointer

Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise

Add to Reading List

Source URL: anil.recoil.org

Language: English - Date: 2015-12-17 06:24:32
3

The OCaml Platform v1.0 Anil Madhavapeddy (speaker), Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop The OCaml Platform combines

Add to Reading List

Source URL: ocaml.org

Language: English - Date: 2016-03-04 02:56:39
    4Cross-platform software / Sinatra / OCaml / Linux kernel / Debian / Software / Computing / Free software

    OCaml: State of the Platform 2014 Anil Madhavapeddy (speaker) Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White, Jeremy Yallop

    Add to Reading List

    Source URL: ocaml.org

    Language: English - Date: 2015-04-01 21:36:05
    5OCaml / Ctypes / Caml / Yallop / Computer programming / Software engineering / Software

    OCaml Platform v0.1 Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, David Sheets, Philippe Wang, Leo White, Jeremy Yallop University of Cambridge and OCamlPro

    Add to Reading List

    Source URL: ocaml.org

    Language: English - Date: 2015-03-03 12:50:12
    6Functional languages / Dpkg / OCaml / Ubuntu / Package management system / Caml / Debian / Ocsigen / GitHub / Software / Computing / Computer programming

    The OCaml Platform v1.0 Anil Madhavapeddy (speaker), Amir Chaudhry, Jeremie Diminio, Thomas Gazagnaire, Louis Gesbert, Thomas Leonard, David Sheets, Mark Shinwell, Leo White and Jeremy Yallop The OCaml Platform combines

    Add to Reading List

    Source URL: ocaml.org

    Language: English - Date: 2015-02-23 07:05:10
    7OCaml / Caml / Debian / Package management system / Read–eval–print loop / ML / Deb / Software / Computing / Functional languages

    The OCaml Platform v0.1 Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire1 , David Sheets, Philippe Wang, Leo White and Jeremy Yallop University of Cambridge, OCamlPro SAS1 1200

    Add to Reading List

    Source URL: ocaml.org

    Language: English - Date: 2015-02-16 03:12:11
    8David Yallop / New Zealand / Nationality / Government / Arthur Allan Thomas / Harvey and Jeannette Crewe / Royal Commission

    PDF Document

    Add to Reading List

    Source URL: homepages.paradise.net.nz

    Language: English - Date: 2005-09-28 07:50:01
    UPDATE