ocaml and functional programming Fall 2015
Course Website: http://www.cs.cornell.edu/courses/cs3110/2015fa/
CS 3110 is the third programming course in the Computer Science curriculum, following CS 1110 and CS 2110. The goal of the course is to help students become excellent programmers and software designers who can design and implement software that is elegant, efficient, and correct, and whose code can be maintained and reused. CS 3110 covers a broad range of topics, including:
Functional programming Writing and using specifications Modular programming and data abstraction Reasoning about program correctness Reasoning about system performance Useful and efficient data structures
A1 - software replica of the Enigma encryption machine A2 - text adventure game (TAG) A3 - search engine for text documents A4 - interpreter for JoCalf a language like OCaml and JavaScript A5 - coq proof assistant.