Class Project - Implementation of a configuration parser using Standard ML of NJ (SML).
-
Updated
Jan 16, 2015 - Standard ML
Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.
Class Project - Implementation of a configuration parser using Standard ML of NJ (SML).
Modeling types of professional sports/positions.
Solutions for chapter exercises in Modern Programming Languages: A Practical Introduction.
Лабораторные работы по дисциплине "Функциональное программирование" на языке Standard ML (3 курс ЯрГУ, 2018г)
TiML: A Functional Programming Language with Time Complexity
Currently working on Part C of this course via Coursera. My notes for the course are in the link below.
Small and large integer implementation for a subset of the SmallTalk programming language written in Standard ML. Project for Tufts COMP 105 - Programming Languages.
Follows the Programming Languages course taught by Dan Grossman at the University of Washington.
Code written for the exercises of course Programming Languages I (ECE NTUA)
JSON data description and codecs for OCaml (unreleased)
Notes I take while reading "Purely Functional Data Structures" by C. Okasaki
Insomnia: A modular probabilistic programming language
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983