“ml khana”

Standard ML is emerging as one of the most widely used functional programming languages. Equally, concurrent programming is becoming an increasingly important area of research and industrial application, and the integration of concurrency primitives is an active topic of development. This book surve... More

This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good cov... More

SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library,... More