Navigation

• Home
• Projects
  • ALGOL
  • APL
  • Artificial Intelligence
  • BCPL
  • C++
  • FORTRAN and FORTRAN II
  • GEDANKEN
  • LISP
  • Mesa
  • NLS / AUGMENT
  • PAL
  • Poplar
  • Prolog
  • SETL
    • Pre-SETL Software activities by Jack Schwartz
    • BALM
    • LITTLE
    • SETL
      • Documents
      • SETL Newsletters
        • 232. Fritz Henglein. Simple type inference and unification. 12 October 1988.
      • Source code
      • Executable releases
      • Papers
    • SETL2
    • Ada/Ed
    • ISETL
    • Novosibirsk
    • Setl-s
    • SETL in Europe: SED / SETL/E and ProSet / Cantor
    • Griffin
  • Programming Languages
  • Functional Programming
  • Operating Systems
  • Program Verification
  • Directory of Software Collections
  • The History of Emacs
• Meetings
• Software Preservation Wiki
• Discussion Forums
• About Us
• Can you help?
• Workshop Presentations

Log in

Login Name

Password

Cookies are not enabled. You must enable cookies before you can log in.

Forgot your password?

 

«	April 2024					»
Su	Mo	Tu	We	Th	Fr	Sa
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30