Search for tag: "ocaml"

Effective ML

Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020

From  Andrew Appel on November 5th, 2020 0 likes 81 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 131 plays

cos326-2020-01-01-intro

Welcome and Introduction

From  Andrew Appel on August 24th, 2020 0 likes 303 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod on August 21st, 2020 0 likes 170 plays

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod on August 16th, 2020 0 likes 146 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 184 plays

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod on August 16th, 2020 0 likes 101 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod on August 16th, 2020 0 likes 173 plays

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

From  Daniel Macleod on August 16th, 2020 0 likes 181 plays

cos326-2020-09-01-space-model

A Functional Space Model

From  Daniel Macleod on August 16th, 2020 0 likes 294 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod on August 16th, 2020 0 likes 225 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod on August 14th, 2020 0 likes 244 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

From  Daniel Macleod on August 14th, 2020 0 likes 279 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod on August 14th, 2020 0 likes 200 plays

cos326-2020-03-04-java-rant

A Short Java Rant

From  Daniel Macleod on August 14th, 2020 0 likes 179 plays

cos326-2020-02-02-functions

Simple Functions

From  Daniel Macleod on August 14th, 2020 0 likes 377 plays