Getting Started with Typed Functional Programming Using Standard ML

Introduction

Here are the slides and examples for a talk on "Getting Started with Typed Functional Programming Using Standard ML".

• Slides (handout)
• Extended Example: Generating Primes (tarball, zip archive)
• Standard ML Resources