
	Where results make sense

Topic: ISWIM

Related Topics

ML programming language

Nemerle

NGL programming language

Timeline of programming languages

C Sharp programming language

Lisp programming language

CORAL66

Ruby programming language

Comparison of C Sharp to Java

CPL

Self programming language

JOVIAL

Automatic garbage collection

ADK

Deseret

In the News (Tue 17 Nov 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	iswim - BlueRider.com
		ISWIM is purely functional, a sugaring of lambda-calculus, and the ancestor of most modern applicative languages.
		An ISWIM program is a single expression qualified by 'where' clauses (auxiliary definitions including equations among variables), conditional expressions and function definitions.
		ISWIM was the first language to use lazy evaluation and introduced the offside rule for indentation.
	iswim.bluerider.com /wordsearch/iswim (65 words)

	Haskell: Influences (Site not responding. Last check: 2007-10-08)
		ISWIM (If you See What I Mean) is a programming language (or "family of programming languages") described in March 1966 by Peter J. Landin which has only been implemented experimentally.
		ISWIM was influenced by LISP and in the same article Landin said "...can be looked upon as an attempt to deliver Lisp from its eponymous commitment to lists, its reputation for hand-to-mouth storage allocation, the hardware dependent flavour of its pedagogy, its heavy bracketing, and its compromises with tradition".
		Based on some of the syntactic ideas of ISWIM, it was developed as a meta language for the object language pplambda for the Edinburgh LCF (Logic for Computable Functions) proof assistant but soon became used as a general purpose language.
	www.bath.ac.uk /~cs3nb/Prog4/Whatinfluenceditsdesign.html (759 words)

	Guard (computing) - Wikipedia, the free encyclopedia
		Already ISWIM in 1966 had a form of conditional expression without an obligatory fall-through case, thus separating guard from the concept of choosing either-or.
		In the case of ISWIM, if none of the alternatives could be used, the value was to be undefined, which was defined to never compute into a value.
		SASL (1976) was one of the first programming languages to use the term guard.
	en.wikipedia.org /wiki/Guard_statement (577 words)

	Lazy evaluation alternative (Site not responding. Last check: 2007-10-08)
		Since this leads to difficulties, a new $\lambda$-calculus is introduced whose standardisation theorem gives a good correspondence with ISWIM as given by the SECD machine, but without the \emph{letrec} feature.
		Next a call-by-name variant of ISWIM is introduced which is in an analogous correspondence with the usual $\lambda$-calculus.
		The relation between call-by-value and call-by-name is then studied by giving simulations of each language by the other and interpretations of each calculus in the other.
	www.haskell.org /pipermail/haskell/2003-January/011057.html (340 words)

	demerol.ca - ISWIM (Site not responding. Last check: 2007-10-08)
		ISWIM is an abstract computer programming language (or a family of programming languages) devised by Peter J. http://en.wikipedia.org/wiki/ISWIM
		The CC, CK and CEK Machines -- ISWIM in...
		3 dictionaries with English definitions that include the word ISWIM: Tip: Click on the first link on...
	www.demerol.ca /ISWIM/reference/fullview/wikipedia/233385 (91 words)

	towards a modern programming environment
		One might argue that the level of chunking has to be fairly high, for in the case of changing both interface and implementation multiple files often will need simultaneous coherent changes to make semantically valid alterations.
		Conversely, it is a special > case of the thesis underlying ISWIM that any pidgin English that has > so far been implemented can be stripped to pidgin algebra.
		There is > nevertheless an important possibility of having languages that are > heuristic on account of their "appliciative structure" being heuristic.
	lists.canonical.org /pipermail/kragen-discuss/2003-May/000911.html (1101 words)

	[No title]
		Ok. It is vitally important (to me) that definitions and theorems be explicitly marked as such, otherwise I won't be able to make sense of anything or be able to contribute.
		When you wrote that my semantics was compositional, I think you were really referring to Will's 1st ISWIM post.
		It has nothing to do with Will's 1st ISWIM post, which we all agree is a joke.
	www.ccs.neu.edu /home/will/Ephemera/category3.txt (1303 words)

	Programming 4 - Group 6 - Basic Version (Site not responding. Last check: 2007-10-08)
		Originally implemented by Landin and James H. Morris in LISP, PAL (Pedagogic Algorithmic Language) is a type-less, higher-order functional language, descended from ISWIM.
		Being a direct descendant of Peter Landin's ISWIM, PAL has been influenced by this, especially the evaluator; although there are significant differences, especially in the imperatives.
		PAL is also a powerful programming language therefore students were able to apply concepts learnt to solve complex programming problems using PAL, which allows students not only to develop their problem-solving skills but also to develop the necessary tools to be able to solve realistic problems.
	www.bath.ac.uk /~cs3rcp/prog4/pal_basic.html (1959 words)

	ISWIM - OneLook Dictionary Search (Site not responding. Last check: 2007-10-08)
		We found 3 dictionaries with English definitions that include the word ISWIM:
		Tip: Click on the first link on a line below to go directly to a page where "ISWIM" is defined.
		ISWIM : Free On-line Dictionary of Computing [home, info]
	www.onelook.com /cgi-bin/cgiwrap/bware/dofind.cgi?word=ISWIM (77 words)

	The Encyclopedia of Computer Languages (Site not responding. Last check: 2007-10-08)
		The first implementation of PAL was by Landin and James H. Morris, Jr., in LISP.
		The language they implemented was much closer to ISWIM than to PAL as it now exists.
		The present version of PAL was designed by Martin Richards along with Thomas J. Barkalow, Evans, Robert M. Graham, Morris and John M. Wozencraft.
	hopl.murdoch.edu.au /showlanguage.prx?exp=336 (4001 words)

	Remaining questions & remarks (2) (Site not responding. Last check: 2007-10-08)
		Don't forget, of course, to say that Algol 60 came real close.
		I think you should research the languages GEDANKEN (Reynolds) and ISWIM (Landin), as one of those might have had closures.
		I believe ISWIM was described in CACM in the mid-1960's.
	martigny.ai.mit.edu /pipermail/rrrs-authors/1986-June/000499.html (289 words)

	ISWIM (Site not responding. Last check: 2007-10-08)
		ISWIM was the first language to use lazy-evaluation and introduced the off-side rule for indentation.
		Scott, Dana; "A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Oxford U 1969.
		Search in: HOPL namespace HOPL text Google Yahoo Overture Teoma Alta Vista All the web DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl Bookfinder
	hopl.murdoch.edu.au /showlanguage.prx?exp=261&language=ISWIM (324 words)

	The Tail Recursive SECD Machine (Site not responding. Last check: 2007-10-08)
		The cost of efficient support for iteration is small.
		More than twenty years ago, Gordon Plotkin published a famous paper that examines the relation between the Lambda Calculus and ISWIM, a programming language based on the Lambda Calculus
		ISWIM has an operational semantics given by the SECD machine.
	www.cs.utexas.edu /users/boyer/ftp/nqthm/trsecd/trsecd.html (2298 words)

	Q and Lucid
		2] is a intensional, stream-based, multidimensional programming language, derived from Landin's ISWIM[
		Lucid extends the simple applicative expressiveness of ISWIM with an intensional logic using a multidimensional space.
		The single variable of a simple algebra is extended into a stream which spans any dimensions over which the variable changes.
	web.media.mit.edu /~wad/magiceight/isa/node20.html (298 words)

	Scheme - Usenet category theory
		As ISWIM is rather primitive, a straightforward construction would
		It is unlikely that you would be willing to follow it.
		Right, I I had no idea Joe thought I was changing the ISWIM language.
	www.codecomments.com /archive282-2004-8-252042.html (4537 words)

Try your search on: Qwika (all wikis)