<--- Back to Details
First PageDocument Content
Functional languages / Data types / Type theory / Procedural programming languages / Functional programming / OCaml / Algebraic data type / Anonymous function / Caml / Software engineering / Computing / Computer programming
Date: 2013-09-25 09:49:13
Functional languages
Data types
Type theory
Procedural programming languages
Functional programming
OCaml
Algebraic data type
Anonymous function
Caml
Software engineering
Computing
Computer programming

Motivation Why OCaml?

Add to Reading List

Source URL: proglang.informatik.uni-freiburg.de

Download Document from Source Website

File Size: 132,31 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Subroutines / Data types / Anonymous function / Functional programming / Lambda calculus / Exponentiation / ATS / Array data type / Parameter

The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents

DocID: 1rtHJ - View Document

Software engineering / Computer programming / Computing / Control flow / Procedural programming languages / Eval / Scheme / Anonymous function / Infinite loop / Assignment / Conditional / Meta-circular evaluator

Project 5 - The Meta-Circular Evaluator

DocID: 1rtvP - View Document

Software engineering / Computer programming / Computing / Functional languages / Subroutines / Procedural programming languages / Data types / Lambda calculus / Scheme / Lisp / Anonymous function / Scope

Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY

DocID: 1rf2e - View Document

Software engineering / Programming language theory / Lambda calculus / Computer programming / Scheme / Structure and Interpretation of Computer Programs / Anonymous function / Square root / Nth root

Microsoft PowerPoint - Lect02Scheme.ppt

DocID: 1reMy - View Document

Software engineering / Declarative programming / Computer programming / Functional programming / Theoretical computer science / Data types / Type theory / Computability theory / Lambda calculus / Recursion / Algebraic data type / Anonymous function

PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama

DocID: 1rduU - View Document