<--- Back to Details
First PageDocument Content
Functional languages / OCaml / Caml / CDuce / Monad / Serialization / ML / Computing / Software engineering / Computer programming
Date: 2013-12-06 16:18:32
Functional languages
OCaml
Caml
CDuce
Monad
Serialization
ML
Computing
Software engineering
Computer programming

Outline Interfacing CDuce and OCaml Giuseppe Castagna Julien Demouth

Add to Reading List

Source URL: www.cduce.org

Download Document from Source Website

File Size: 374,08 KB

Share Document on Facebook

Similar Documents

BENOIT BLANCHON CREATOR OF ARDUINOJSON Mastering ArduinoJson Efficient JSON serialization for embedded C++

BENOIT BLANCHON CREATOR OF ARDUINOJSON Mastering ArduinoJson Efficient JSON serialization for embedded C++

DocID: 1xTru - View Document

Title: Java Deserialization Vulnerabilities and Mitigations Length: 90 Minutes Description: This tutorial provides developers with practical guidance for securely implementing Java Serialization. Java deserialization is

Title: Java Deserialization Vulnerabilities and Mitigations Length: 90 Minutes Description: This tutorial provides developers with practical guidance for securely implementing Java Serialization. Java deserialization is

DocID: 1uMrG - View Document

Horn Binary Serialization Analysis Gabriele Paganelli https://gapag.noblogs.org/   A bit layout is a sequence of fields of certain bit lengths that specifies how to interpret a serial stream,

Horn Binary Serialization Analysis Gabriele Paganelli https://gapag.noblogs.org/ A bit layout is a sequence of fields of certain bit lengths that specifies how to interpret a serial stream,

DocID: 1tKLh - View Document

Horn Binary Serialization Analysis HCVS 2016 3rd Workshop

Horn Binary Serialization Analysis HCVS 2016 3rd Workshop

DocID: 1tBmq - View Document

Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1  Department of Computer Science and Engineering

Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Gödel Numberings) Paul Tarau1 1 Department of Computer Science and Engineering

DocID: 1sXSv - View Document