Enigma Machine

Enigma Machine is a family of enciphering and deciphering machines invented and used in WWI and WWII, and later hacked by scientiests including Alan Turing. There »

Lazy Evaluation

(This is a post for CS320 Boston University.) In most programming languages, expressions are evaluated right after it is bound to a variable. This is eager »

Matrices in ATS

(This is a post for CS320 Boston University.) Please take a look at this. Get yourself familiar with matirx operations and high order functions. Also, it »

More on Types

(This is a post for CS320 Boston University) Recall that a type can be seen as a value space. We also mentioned algebric data type, specifically »

Lists

(This is a post for CS320 Boston University.) This is a page for most commonly seen methods about a functional list (in ATS). And this is »