Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in sml

How to convert negative integers to strings in SML with minus sign instead of tilde?

sml smlnj

Why SML and OCaml are considered as dialects of ML? What is the definition of ML?

When to use semicolons in SML?

sml smlnj ml

Statically "extend" a record-ish data type without indirection hassle

Is the SML `o` operator only useful on single-argument functions?

sml smlnj ml

How do functional languages represent algebraic data types in memory?

SML: What's the difference between using abstype and using a signature to hide the implementation of a structure?

structure signature sml

Increasing the print depth in SML/NJ

sml smlnj

SML: difference between type and datatype

types sml smlnj

Is there a Haskell/ML-like compiler to C?

iphone haskell scheme sml gambit

Nested case statements in SML

coding-style sml

Line Comments in Standard ML

sml smlnj

ML IDE and Compiler for Windows or Linux or Mac

Growth of Type Definition in SML Using Hindley Milner Type Inference

Can good type systems distinguish between matrices in different bases?

Warning: calling polyEqual

sml smlnj

If SML.NET had functors why can't F#?

f# ocaml sml functor ml

Encoding Standard ML modules in OO

scala oop module sml

What's the difference (if any) between Standard ML's module system and OCaml module system?

ocaml sml ml

SML-NJ, how to compile standalone executable

sml smlnj