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 »

Types

(This is a post for CS320 Boston University.) A type is a category of things having common characteristics. Putting it into our context, it is a »

CS320 Spring 2014

(This is a post for CS320 Boston University, and will be constantly updated.) Welcome! My office is PSY234 on Cummington St. My office hours will be »