HOME
ABOUT US
LINK TO US
SITE MAP
CONTACT US
Login
SignUp
CATEGORIES
Android Programming
ASP.NET
C
C#
C++
Computer Science
Databases
Information Technology - IT
Internet
iPhone Programming
IT Security
Java
Java EE
JavaScript
Linux
Microsoft Office
NET
Networking
Open Source
Perl
PHP
Physics
Programming
Project Management
Python
Revision Control
Ruby
Smalltalk
Software Engineering
SQL
Video Games
Web Development
Windows
XML
AI and Robotics
Ada
Your are Here:
Functional Programming with ML
File Type :PDF
Number of Pages :-208
Description
This note covers the following topics: Backus’ FP Systems, Mathematical Functions and First Steps in ML, Basic Datatypes and Lists in ML, Evaluation of Expressions and Recursive Functions, Local Declarations and Modules, Polymorphic Type Checking, Datatype Exception and Recursive Datatypes, Reasoning about Functional Programs, Domain Theory and Fixpoint Semantics, Imperative Programming.