
	Where results make sense

Topic: Peter Landin

Related Topics

Peter J Landin

Le Landin

In the News (Thu 16 Feb 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Citations: A correspondence between ALGOL--60 and Church's lambda notation - Landin (ResearchIndex)
		Landin, A Correspondence Between ALGOL 60 and Church's Lambda-Notation, Comm.
		Landin represents a stream as a pair of the head element, and a nullary function representing the rest of the stream.
		Landin, P.J.: A Correspondence Between ALGOL 60 and Church's LambdaNotation: Part I. Communications of the ACM 8, 2 (1965) 89--101.
	citeseer.ist.psu.edu /context/49443/0 (1986 words)

	Peter J. Landin - Wikipedia, the free encyclopedia
		He is responsible for inventing the SECD machine and the ISWIM programming language, defining the Landin off-side rule and for coining the term syntactic sugar.
		Another phrase originating with Landin is "The next 700...", although reputedly this was a typing error and should have been "The next 100...".
		Landin was most active in the mid-1960s, when he worked with Christopher Strachey.
	en.wikipedia.org /wiki/Peter_Landin (173 words)

	VisualWorks: Closures (Site not responding. Last check: )
		Peter Landin's paper on the SECD machine, "The Mechanical Evaluation of Expressions" was published in the Computer Journal in 1964.
		But I know (because Peter was a professor of mine at QMW) that the implementation of the SECD machine pre-dates this by a few years, putting it in the 1959/60 timeframe.
		Peter, as befits a professor of theoretical computer science, doesn't have a computer and doesn't read email :) :) (at least that was the case in '92).
	wiki.cs.uiuc.edu /VisualWorks/Closures (2444 words)

	Saint Patrick's Church: Saints of February 21
		Peter's elder brother used the young lad as an unpaid servant until another brother, Damian, found Peter tending pigs and rescued him, sending him to be educated at Faenza and Parma.
		Peter Damian responded readily to his teachers and became proficient enough in grammar, rhetoric, and law that he later taught at Ravenna.
		Born at Horsham Saint Faith's, Norfolk, England, in 1561 or 1562; died at Tyburn, London, England, February 21, 1595; beatified in 1929; canonized on October 25, 1970, by Pope Paul VI as one of the 40 representative martyrs of England and Wales.
	www.saintpatrickdc.org /ss/0221.htm (4598 words)

	Languages (Site not responding. Last check: )
		A fruitful way to think about language development is to consider it a theory building like Peter Naur suggested about programming in general in his 1985 paper "Programming as Theory Building".
		John Backus and Peter Naur introduced for the first time a formal notation to describe the syntax of a given language (This was for the description of the ALGOL 60 programming language, see [Naur 60]).
		Few read the report, but when Peter Naur read it he was surprised at some of the differences he found between his and Backus's interpretation of ALGOL 58.
	www.softpanorama.org /History/lang_history.shtml (3866 words)

	words of power from the ancient world : John Rose @ Sun
		It seems to me that luminaries like Hoare, Landin, Strachey, Reynolds, and various MIT AI Lab researchers, busy trying to bridge the gaps between computer behavior and programmer reasoning, had to invent terms on the fly.
		It did not matter in the long run whether a term was defined rigorously for the purpose of a paper, or whether (in a hallway conversation?) it was defined implicitly by usage.
		Peter Landin once said that most papers in Computer Science describe how their author learned what someone else already knew.
	blogs.sun.com /jrose/entry/words_of_power_from_the (1011 words)

	Citations: UNIVAC Systems Programming Research - Landin, of, labels (ResearchIndex)
		When Landin explicated the semantics of procedures by way of closures in the SECD machine, it was natural to introduce control by way of a special form of closure, giving a statically scoped form of control, namely Landin s J operator
		To be able to translate Algol 60 into applicative expressions, Landin later extended these expressions and their interpreter with an assignment operation, and also a control operator J used to express the translation of goto s and labels
		Landin, Peter J. A Generalization of Jumps and Labels.
	citeseer.ist.psu.edu /context/201026/0 (1763 words)

	Landin Family Genealogy Forum
		Landins in CT circa 1870's - melinda mccreven 6/13/04
		Re: Landins in CT circa 1870's - Ishbel Cormack 6/28/04
		Re: Landins in CT circa 1870's - melinda mccreven 6/29/04
	genforum.genealogy.com /landin (808 words)

	ISWIM from FOLDOC
		Landin attempted to capture all known programming language concepts, including assignment and control operators such as goto and coroutines, within a single lambda calculus based framework.
		A powerful control mechanism, Landin's J operator, enables capture of the current continuation (the call/cc operator of Scheme is a simplified version).
		ISWIM variables were probably dynamically typed but Landin may have planned some form of type inference.
	foldoc.org /?ISWIM (273 words)

	PEI (Site not responding. Last check: )
		Landin is a painter from BC that I met at the Northern Ireland pavillion breakfast in Venice for the Venice Biennale.
		Sitting on the porch, Don, Landin's partner is on the far right and he looks just like Bill Eakin (photographer from Winnipeg).
		Landin showed us her studio and it was a seperate building from the cottage, almost like a barn, it was my dream studio!
	www.kcadams.net /Pictures/PEI.html (1314 words)

	Jeremy Hylton: Inconceivable: Using indentation to represent program structure
		We will perhaps eventually be writing only small modules which are identified by name as they are used to build larger ones, so that devices like indentation, rather than delimiters, might become feasible for expressing local structure in the source language.
		Peter Naur raises an immediate objection, oen that is raised today about Python programs.
		Regarding indentation, in many ways I am in sympathy with this, but I believe that if it came about that this notation were used for very wide communcation and also publication, you would regret it because of this kind of rearrangement of manuscripts done in printing.
	jeremyhylton.blogspot.com /2006/06/using-indentation-to-represent-program.html (1051 words)

	Interdisciplinary Research
		Peter O'Hearn is a major figure in moving theoretical work from functional to more realistic programming languages.
		Peter McOwan's research interests are computational models for vision, neurobiologically inspired hardware and software, visual perception, and cognitive science.
		Peter McOwan has produced a model of the human cortical pathway that demonstrates that a single motion-processing system can be responsible for the perceived effects in luminance and contrast-modulated stimuli.
	www.dcs.qmul.ac.uk /researchgp/irc/cs_staff.html (1139 words)

	Haskell: Influences
		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.
		Written about in his article "The Next 700 Programming Languages" which was published in the CACM (Communications of the ACM) it included many concepts that were later to be implemented by applicative languages including SASL, KRC, Miranda, ML and of course Haskell.
		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".
	www.bath.ac.uk /~cs3nb/Prog4/Whatinfluenceditsdesign.html (759 words)

	Peter Jones Gallery \| Chicago Photography Studio \| Life Drawing Chicago \| Artist's Studios Chicago \| Peter Jones ...
		Since acquiring a large format Epson 7500 printer in 2001 Peter Jones has run more than 2000 prints for himself and other artists.The Exhibition which closed in April will remain on line and will be expanded and changed from time to time.
		Peter Jones, Patrick McCarthyn, Michele Fitzsimmons, Walter Fydryck, Sonya Young, Charlotte Segal, Nancy Landin, Paul Whittaker, Justine Mantor Waldie, John Walté, Rhona Harrington and images from Donna Marie Leavesly's collection of 19th century photographs
		A slide show of larger photos of this exhibition is now on the Gallery page.
	www.peterjonesgallery.com (609 words)

	Jeremy Hylton: Inconceivable
		We will perhaps eventually be writing only small modules which are identified by name as they are used to build larger ones, so that devices like indentation, rather than delimiters, might become feasible for expressing local structure in the source language.
		Peter Naur raises an immediate objection, oen that is raised today about Python programs.
		Regarding indentation, in many ways I am in sympathy with this, but I believe that if it came about that this notation were used for very wide communcation and also publication, you would regret it because of this kind of rearrangement of manuscripts done in printing.
	jeremyhylton.blogspot.com (1902 words)

	An Era of Downsized Expectations - HispanicBusiness.com
		Peter Landin is CEO of U.S. Institutional Business for Barclays Global Investors, a firm that manages more than $750 billion in assets, mainly for large pension funds.
		Landin advises individual investors to buy index funds instead of relying on the home-run strategy.
		Landin says his firm is split 65/35 between stocks and bonds and that investors should also seek a balanced portfolio.
	www.hispanicbusiness.com /news/newsbyid.asp?id=6415&page=3&cat=Magazine&more=/magazine (739 words)

	PeterIs Ramblings
		I quite like doing user group talks but I always used to wonder why I'd volunteered the weekend before as I sat in front of powerpoint, given my current situation this shouldn't be a problem this time.
		There has been a fix posted for our SQL 2005 woes on the mdsn lab website which seems to be a bit broken at the moment from work. Search for DHCP server, it's a registry setting.
		Oh and yes the 7200RPM disk is a good upgrade for a laptop as IanG has been saying here laptop speeds haven't gone up that much and my poor old laptop (complete with bodged powersupply) has gained a lot from spending £200 or so on a gig of RAM plus a shiny new HD.
	www.ibbotson.co.uk /peteri/index.php?serendipity[page]=2&serendipity[category]=1_dotNET (2956 words)

	Publications
		Peter J. Landin ``A Generalization of Jumps and Labels'', Higher-Order and Symbolic Computation, 11 (2):125-143, December 1998.
		Peter Landin ``My Years with Strachey'', Higher-Order and Symbolic Computation, 13 (1/2):75-76, April 2000.
		Peter Landin ``Histories of Discoveries of Continuations: Belles-Lettres with Equivocal Tenses'' Proceedings of the Second ACM SIGPLAN, Workshop on Continoations, 14 January 1997, ENS, Paris, France.
	www.dcs.qmw.ac.uk /~peterl/publications.html (57 words)

	SECD Mania (Site not responding. Last check: )
		Landin used the SECD machine to evaluate lambda-calculus expressions.
		For example Peter Henderson used it to implement his lazy dialect of LISP { LISPKIT LISP } and his specification language me-too.
		In 1976 lazy evaluation, one of the most important and powerful concepts of modern functional programming, was independently invented by Peter Henderson and James Morris and by Dan Friedman and David Wise.
	skelet.ludost.net /sec (671 words)

	Lisp and Symbolic Computation (Site not responding. Last check: )
		307--307 Edoardo Biagioni and Robert Harper and Peter Lee A Network Protocol Stack in Standard ML 309--356 Luc Moreau Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation.
		161--180 Josh Berdine and Peter O'Hearn and Uday Reddy and Hayo Thielecke Linear Continuation-Passing.
		Wei-Ngan Chin and Olivier Danvy and Peter Thiemann Editorial.
	www.math.utah.edu:8080 /ftp/pub/tex/bib/toc/higherordersymbcomput.html (1264 words)

	DBLP: Peter J. Landin
		Peter J. Landin: Rod Burstall: A Personal Note.
		Peter J. Landin: Correspondence between ALGOL 60 and Church's Lambda-notation: part I. Commun.
		Peter J. Landin: A correspondence between ALGOL 60 and Church's Lambda-notations: Part II.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/l/Landin:Peter_J=.html (86 words)

	Professor von Clueless in the Blunder Dome: Appreciating ...
		Peter Naur's receipt of ACM's 2005 A. Turing Award reminded me of the significant place that ALGOL 60 occupies in my development as a computer scientist.
		In the face of today's 2000-page specifications for software standards, it is difficult to appreciate that the complete ALGOL 60 report was 16 typeset pages, including index.
		It was there that I first learned about recursive procedures and saw how to program the sorting method which I had earlier found such difficulty in explaining.
	nfocentrale.net /orcmid/BlunderDome/clueless/2006/03/appreciating-algol-60-launching.asp (1684 words)

	Modeling Interactive 3D and Multimedia Animation with an Embedded Language
		Unfortunately, bringing a useful new language into being is quite a daunting task, requiring design of semantics and syntax, implementation of compilers and environment tools, and writing of educational material.
		However, as Peter Landin taught us thirty years ago, we can logically separate a language into (a) a domain-specific vocabulary and (b) a domain-independent way of composing more complex things from simpler ones.
		We prefer the approach of multi-lingual integration, which is to support construction of application modules in a variety of languages and then combine the parts, generally in compiled form, with a language neutral tool.
	www.conal.net /papers/dsl97/dsl97.html (7172 words)

	BCPL in the new millenium (was: Proposal3: Make $_ avalididentifier cha...
		Quite a bit of the non-Smalltalk and non-Lisp software was done in BCPL, including one of the several operating systems, and BRAVO, which was the embryo of what is now called MS Word.
		BTW, the really interesting language back then was BCPL's "god" -- called CPL -- originally for: Cambridge Programming Language (later "Combined Prog Lang"), with many of the major design ideas by Christopher Strachey and Peter Landin.
		It was an attempt to merge Algol and Lisp, and had many really profound insights into the nature of programming and metaprogramming.
	lists.squeakfoundation.org /pipermail/squeak-dev/2000-June/017837.html (665 words)

	[No title]
		Martin T. Vechev and Peter D. Petrov Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM.
		Cristiano Calcagno, Peter W. O'Hearn, Richard Bornat Program Logic and Equivalence in the Presence of Garbage Collection In Theoretical Computer Science, vol.
		Peter D. Petrov and Martin T. Vechev Embedded JVM Concurrent Garbage Collector Internals.
	www.mm-net.org.uk /pubs (859 words)

	IFL 2007: Call for Papers
		As in previous years, selected papers will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) Series.
		Peter Landin Prize of €150 is awarded to the best paper presented at the symposium, as selected by the program committee.
		This call for papers is also available in PDF format.
	proglang.informatik.uni-freiburg.de /IFL2007/cfp.shtml (282 words)

	[No title] (Site not responding. Last check: )
		The first of these will be devoted to security, while the second will be a session honoring Peter Landin.
		This is a workshop year for MFPS, which means that the remainder of the program will be made up of talks contributed by participants.
		The Co-chairmen for MFPS 14 are Michael Mislove and Edmund Robinson (QMW), who, together with Peter O'Hearn (QMW) are co-chairing the Local Arrangements Committee for the meeting.
	www.math.ufl.edu /math/conferences/semantics.london (442 words)

	5-year Lectureship, Queen mary, Univ of London
		This appointment is to replace Peter O'Hearn while he holds an EPSRC advanced fellowship.
		Applications are sought in any area of Computer Science, and positively encouraged in programming languages, formal methods, and theoretical computer science.
		The faculty members in the area are Gianluigi Bellin, Kohei Honda, Matthew Huntbach, Peter Landin, Pasquale Malacaria, Ursula Martin, Peter O'Hearn, Soren Riis Edmund Robinson and Graham White.
	www.seas.upenn.edu /~sweirich/types/archive/1999-2003/msg01466.html (279 words)

	SAC-Home [About Sac2c]
		This site does not only cover materials on the programming language SaC itself but it also features a highly optimizing compiler for SaC named sac2c.
		Clemens Grelck, Karsten Hinckfuß, and Sven-Bodo Scholz receive the Peter Landin Prize for their paper "With-Loop Fusion for Data Locality and Parallelism".
		The Peter Landin Prize is the best paper award of the Workshops/Symposia on Implementation and Application of Functional Languages.
	www.sac-home.org /index.php?p=./21_About_Sac2c (131 words)

	Theories of Programming Languages: Preface (Site not responding. Last check: )
		Peter Landin remarked long ago that the goal of his research was "to tell beautiful stories about computation".
		Since then many researchers have told many such stories.
		I will try to post errata and other relevant information on my web page.
	www-2.cs.cmu.edu /afs/cs.cmu.edu/user/jcr/www/tpl-preface.html (1455 words)

Try your search on: Qwika (all wikis)