Concepts, Techniques, and Models of Computer Programming
Logic, Programming and Prolog, 2nd Edition
Type Theory and Functional Programming
Functional Programming and Parallel Graph Rewriting
Implementing Functional Languages: A Tutorial
How to Design Programs
Programming Languages
Programming in Martin-Löf's Type Theory
Object Oriented Programming
Programming from Specifications
Working with Objects
Object-Oriented System Development
Structure & Interpretation of Computer Programs
Dictionary of Programming Languages
Designing and Building Parallel Programs
Principles of Programming Languages
Introduction to Programming Languages
Patterns for Adaptive Programming (AP)
Advanced Programming Language Design
Search Engine
Monday, January 8, 2007
Monday, January 1, 2007
ALGORITHMS
- Algorithms :-
- Applied Algorithms
- Algorithms from ADUni.org
- Data Structures and Algorithms
- Problems on Algorithms, 2nd Edition
- Lecture Notes on Algorithm Analysis and Computational Complexity, 4th Edition
- Handbook of Algorithms and Data Structures
- Data Structures & Algorithms (A. Cawsey)
- A Catalog of Enumeration Algorithms
- Algorithms (By Ian Craw and John Pulham)
- Data Structure :-
- Sorting :-
- Sorting (By Ian Craw and John Pullham)
- Analysis of QuickSort
- Miscellaneous :-
- Reference :-
- Implementation using Some Languages :-
BASICS
Scheme :: Basics:-
- Scheme Tutorial
- The Scheme Programming Language
- The Scheme Programming Language - R. Kent Dybvig
- How to Design Programs
- Teach Yourself Scheme in Fixnum Days
- How to Use Scheme
- Structure and Interpretation of Computer Programs
- Scheme Workshop 2003 Slides
- Fundamentals of Computer Science
- A Scheme Tutorial for Gimp User
- Revised(5) Report on the Algorithmic Language Scheme
- The Scheme FAQs
ML BASICS
- ML :: Basics:-
- A Gentle Introduction to ML
- Group 25's ML Tutorial
- Introduction to ML Programming Language
- Comp.Lang.ML FAQs
- ML-Yacc User's Manual
- SML :-
- Programming in Standard ML '97: An Online Tutorial
- Programming in Standard ML
- Programming in Standard ML - Robert Harper
- Four Lectures on Standard ML
- Unix System Programming with Standard ML
- Standard ML Basis Library
- Standard ML Grammar
- Lexical analyzer generator for Standard ML
- Using the SML/NJ System
- Caml:-
- The Caml Language
- The Caml Light system, documentation and user's guide
- A Concise Introduction to Objective Caml
- Functional programming using Caml Light
- The Objective Caml system
- Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa
- An introduction to the Objective Caml language and its type system
- ML :: Compilers:-
- Moscow ML :: Light Weight Implementation of SML
- Standard ML of New Jersey
- Home Page of ML Kit
- Poly/ML Home Page
- MLTon Compiler for SML
LISP : BASICS
- Lisp :: Basics:-
- Lisp :: Common Lisp:-
- The Common Lisp HyperSpec
- ANSI Common Lisp
- Common Lisp the Language
- The Common Lisp Cookbook
- Common Lisp :: A Gentle Introduction to Symbolic Computation
- Common Lisp Hints
- Common Lisp - Help and Information
- Fundamentals of CLOS
- Common Lisp Open Code Collection
- JACOL :: Java and Common Lisp
- The Common Lisp Object System MetaObject Protocol
- CMUCL User's Manual
- Lisp :: AutoLISP:-
- Lisp :: Misc:-
HASKELL
- Haskell :: Basics:-
- Haskell Tutorial - CCSC
- A Gentle Introduction to Haskell
- Yet Another Haskell Tutorial
- Two Dozen Short Lessons in Haskell
- Programming in Haskell
- Lecture Slides - The Haskell School of Expression
- A Guide to Haskell's Foreign Function Interface
- Tour of Haskell Syntax
- A Tour of Haskell Prelude
- Haskell Reference
- Haskell Papers - Simon Peyton Jones
- Haskell :: Monads:-
- Monads for the Working Haskell Programmer -- a short tutorial
- All about Monads
- Monadic I/O in Haskell 1.3
FUNCTIONAL PROGRAMMING
- Functional Programming:-
- Introduction to Functional Programming :: Mike Gordon
- Introduction to Functional Programming :: Graham Hutton
- Introduction to Functional Programming :: John Harrison
- Functional Programming Lecture Notes :: Chris Clack
- Structure and Interpretation of Computer Programs
- Frequently Asked Questions for comp.lang.functional
- Functional Programming in the Real World
- Partial Evaluation and Automatic Program Generation
- Functional Programming :: Languages:-
- Functional programming using Caml Light
- Charming Python: Functional programming in Python, Part 1
- Charming Python: Functional programming in Python, Part 2
- Charming Python: Functional programming in Python, Part 3
- FC++ :: Functional Programming in C++
- Functional Programming in Schem
Subscribe to:
Posts (Atom)