Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in sml

Achieving laziness and memoization

Inner Functions With SML NJ

Print to standard output in SML

sml

Getting max value from a list in SML

list recursion sml

Merge infinite lists in SML

list zip sml

Read command-line arguments in SML

sml

How to coerce a type in SML (like casting)

sml smlnj

SML arithmetic function's type is inferred to int

types sml smlnj ml

Polymorphic functions and type inference in SML

type-inference sml

Why does OCaml succeed in matching 'a list with int list, while Standard ML fails to do so?

types ocaml sml

Generating a random number in SML

random sml

Tail-recursion on trees

On context for resolving typing ambiguity in Standard ML

types sml type-inference ml

Pattern matching in SML?

pattern-matching sml

How to flatten a list non-recursively in sml/nj?

list sml smlnj

Converting int to real in SML

sml

What is difference between rem and mod function in sml?

Monads and SML modules

monads sml

Functional Breadth First Search

How to 'fix' the SML/NJ interactive system to use Arrow Keys

sml smlnj