<--- Back to Details
First PageDocument Content
Software engineering / Computer programming / Declarative programming / Functional programming / Functional languages / Subroutines / Procedural programming languages / Recursion / Standard ML / ML / OCaml / Fold
Date: 2017-08-21 08:39:27
Software engineering
Computer programming
Declarative programming
Functional programming
Functional languages
Subroutines
Procedural programming languages
Recursion
Standard ML
ML
OCaml
Fold

Verifying Efficient Function Calls in CakeML

Add to Reading List

Source URL: cakeml.org

Download Document from Source Website

File Size: 369,16 KB

Share Document on Facebook

Similar Documents

Software engineering / Computer programming / Computing / Functional languages / OCaml / Caml / Procedural programming languages / ML / Conditional / Exception handling / Xavier Leroy

What’s new in OCaml 4.02 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop,

DocID: 1v9AG - View Document

Towards Automatic Resource Bound Analysis for OCaml Ar tifact * Complete

DocID: 1uNpP - View Document

The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

DocID: 1tWs8 - View Document

MLGMPIDL: OCaml interface for GMP and MPFR libraries (versionAugust 30, 2012 All files distributed in the MLGMPIDL interface are distributed under LGPL license.

DocID: 1tPSR - View Document