Jump to content

SASL (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by NevilleDNZ (talk | contribs) at 09:50, 1 May 2007 (→References: preceding:). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM[1]. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language[2]. In this form it was the foundation of Turner's later languages KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.

Notes

  1. ^ Turner, An implementation of SASL
  2. ^ Turner , A New Implementation Technique for Applicative Languages, pages 31-49

References

  • Turner, D.A. "An Implementation of SASL". University of St. Andrews, Department of Computer Science Technical Report. TR/75/4.
  • Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". Software - Practice and Experience. 9.

Template:Step


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=SASL_(programming_language)&oldid=127380971"