Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).

Working through "Unix System Programming with Standard ML" by Anthony L. Shipman, 2001

Appunti del corso di Programmazione Funzionale per Obsidian

MessagePack binary serialization (spec v2.0) in pure Standard ML

Merkle tree construction, root computation, and inclusion proofs in pure Standard ML

Pure Standard ML package-manifest resolver + lockfile + .mlb generator (smlpkg-compatible), with a thin git/mlton build driver. Byte-identical under MLton and Poly/ML.

Classic string matching & analysis in pure Standard ML: KMP, Z-function, Boyer-Moore, Rabin-Karp, Aho-Corasick, Manacher (MLton + Poly/ML)

OAuth 2.0 + PKCE (RFC 6749 / RFC 7636) as a pure state machine in Standard ML (MLton + Poly/ML)

TLS 1.3 (RFC 8446) sans-IO state machine in pure Standard ML, verified against RFC 8448 vectors. Experimental, not for production security.

Pure Standard ML animated GIF encoder (LZW + median-cut palette) (MLton + Poly/ML)

Entity-Component-System (ECS) architecture with sparse component stores in pure Standard ML

Parser combinators for Standard ML (MLton + Poly/ML), with position tracking and precise error reporting.

NIST P-256 (secp256r1) ECDH key agreement and ECDSA signature verification in pure Standard ML. Built on sml-bigint, sml-asn1, sml-codec. Pure, dual-compiler.

Bitcoin Script stack machine interpreter (subset) in pure Standard ML

CIE colour-science extensions (XYZ, xyY, CIELUV, CIE94, Bradford adaptation, CCT) on top of sml-color, in pure Standard ML for MLton and Poly/ML

Arbitrary-precision decimal arithmetic for Standard ML (Java BigDecimal style), built on IntInf with explicit rounding modes. Portable, tested on MLton and Poly/ML.

Virtual DOM in pure Standard ML: diff two sml-html trees into a minimal patch list with a round-tripping apply oracle. Dual-compiler (MLton + Poly/ML), byte-identical, deterministic.

CODATA fundamental physical constants as typed, dimensioned quantities in pure Standard ML, built on sml-units (MLton + Poly/ML).

First-order logic: parser, Skolemization, tableaux and resolution provers in pure SML

A Standard ML library of state-based CRDTs: G-Counter, PN-Counter, LWW-Register, and OR-Set