Search for tag: "ocaml"

Effective ML

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

From  Andrew Appel 0 likes 96 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 139 plays

cos326-2020-01-01-intro

Welcome and Introduction

From  Andrew Appel 0 likes 349 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod 0 likes 178 plays

cos326-2020-12-02-module-choices

Ocaml Modules: Part 2: Design Choices

From  Daniel Macleod 0 likes 155 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod 0 likes 192 plays

cos326-2020-11-02-uncomputability

Uncomputability: What We Can't Compute

From  Daniel Macleod 0 likes 106 plays

cos326-2020-11-01-computability

Computability

From  Daniel Macleod 0 likes 183 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 300 plays

cos326-2020-06-04-operational-semantics

A Mathematical Model of Ocaml

From  Daniel Macleod 0 likes 259 plays

cos326-2020-06-02-simple-evaluation

Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation

From  Daniel Macleod 0 likes 267 plays

cos326-2020-06-01-abstract-syntax

Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax

From  Daniel Macleod 0 likes 307 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 209 plays

cos326-2020-03-04-java-rant

A Short Java Rant

From  Daniel Macleod 0 likes 193 plays

cos326-2020-02-02-functions

Simple Functions

From  Daniel Macleod 0 likes 400 plays