Search for tag: "ocaml"

Effective ML

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

From  Andrew Appel 0 likes 104 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 145 plays

cos326-2020-01-01-intro

Welcome and Introduction

From  Andrew Appel 0 likes 366 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod 0 likes 181 plays

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod 0 likes 161 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 200 plays

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod 0 likes 110 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod 0 likes 187 plays

cos326-2020-10-02-von-neumann

How Ocaml Compiled to a Von Neumann Machine

From  Daniel Macleod 0 likes 190 plays

cos326-2020-09-01-space-model

A Functional Space Model

From  Daniel Macleod 0 likes 304 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod 0 likes 287 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 273 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

From  Daniel Macleod 0 likes 317 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 214 plays

cos326-2020-03-04-java-rant

A Short Java Rant

From  Daniel Macleod 0 likes 197 plays

cos326-2020-02-02-functions

Simple Functions

From  Daniel Macleod 0 likes 404 plays