Gary T. Leavens's Favorites and Links

Programming Languages

General

Lambda the Ultimate programming languages weblog.
Programming Language Research page by Mark Leone.
FAQ for comp.lang.functional
ACM SIGPLAN
European Association for Programming Languages and Systems

People

Researchers in programming languages page by Mark Leone.
John Boyland
Luca Cardelli
William Cook
Giuseppe Castagna
Craig Chambers
Matthias Felleisen
Samuel Kamin
Naftaly Minsky
Oscar Nierstrasz
Jens Palsberg
Hridesh Rajan
Mitchell Wand

Languages or Systems

Programming language research projects page by Mark Leone.
Ada Core Technologies, Inc.
AspectJ (eclipse.org/aspectj/)
C interpreter (Ch) by SoftIntegration, Inc.
C language reference books.
GIPE and the ASF+SDF meta-environment
1996 C++ draft standard in HTML
C++ Standard Template Library
Cω.
Clean
Hypertext for Common Lisp the Language, 2nd edition.
Dylan and Functional Developer
Eiffel (Interactive Software Engineering) and Sather
Haskell
Java
- Sun's Java page and its documentation
- IBM's WebSphere Studio
- AspectJ
- Welcome to Kaffe
- Java Development Environment for Emacs
- MultiJava
- Pizza
Mozart Programming System for OZ, a language with open distributed computing, constraints and logical inference, and concurrent object-orientation.
Perl
lambda Prolog and its implementations Terzo and Teyjus
Python
Standard ML of New Jersey
MSWLogo
Oberon Microsystems
Objective Caml
Perl and the Comprehensive Perl Archive Network
Scala.
Scheme
- Scheme home page from MIT
- The Schemers Web (schemers.org)
- The Internet Scheme Repository
Smalltalk
- Smalltalk.org
- The UIUC Smalltalk Archive
- Squeak
- Cincom (formerly ParcPlace) VisualWorks Smalltalk Non-Commercial version
Stagecast Creator (simulations for students without programming)
tkWorld
XSB

Archives of Information or Literature

Algebraic Methodology And Software Technology
Aspect-Oriented Software Development
Evolving Algebras page.
Index to Object-Oriented Information Sources
IEEE Computer Society: ParaScope (parallel programming resources)
The Types Forum.
comp.compilers archive
The Teaching About Programming Languages Project.
genetic-programming.org

Bibliographic Citations

CiteSeer
The Collection of Computer Science Bibliographies [Toronto mirror]
Computing Reviews and their categories.
DBLP
Google Scholar
Harzing.com's Publish or Perish
Scopus.com
E-Print Network
programming language bibliography page by Mark Leone.
Constraints FAQ
OO Bibliography

Last update $Date: 2022/08/18 14:26:04 $

Gary T. Leavens