
	Where results make sense

Topic: Peter J Landin

Related Topics

Le Landin

In the News (Mon 28 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	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_J._Landin (173 words)

	The Computer Journal
		J. Goldsmith The state of the art --- (a) Commercial computers in Britain, June 1959.
		108--111 J. Miller Note on the numerical evaluation of a first derivative from a table of a function satisfying a second order differential equation.
		232--236 J. Appleby and D. Blake and E. Newman Techniques for producing school timetables on a computer and their application to other scheduling problems 237--245 A. Young and G. Almond Predicting distributions of staff.
	www.math.utah.edu /pub/tex/bib/toc/compj.html (3762 words)

	DBLP: Peter J. Landin (Site not responding. Last check: 2007-10-31)
		Peter J. Landin: A Generalization of Jumps and Labels.
		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 (83 words)

	Publications (Site not responding. Last check: 2007-10-31)
		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.qmul.ac.uk /~peterl/publications.html (57 words)

	List of computer scientists - Wikipedia, the free encyclopedia
		Others are mathematicians whose work falls within what would now be called theoretical computer science, such as complexity theory and algorithmic information theory.
		Peter Denning - identified the use of an operating system's working set and balance set, President of ACM
		Peter G. Gyarmati - Adaptivity in operating systems and networking
	en.wikipedia.org /wiki/List_of_computer_scientists (612 words)

	The Study of Programming Languages: References
		In this letter to the editor, Knuth argues that the name ``Backus Naur Form'' honoring Peter Naur is better than ``Backus Normal Form.'' The BNF notation is not a normal form at all.
		Landin, Peter J. ``A lambda-calculus approach.'' In Advances in Programming and Non-Numerical Computation, edited by Leslie Fox, Pergamon Press, Oxford, 1966, pages 97-141.
		Procedures with input (call-by-value), result, and value/result parameters are given a sound proof rule by considering the subprogram call to be an assignment to local variables from all the input parameters, followed by the body of the subprogram, followed by an assignment to all the output parameters.
	cs.fit.edu /~ryan/study/bibliography.html (4044 words)

	Haskell: Influences (Site not responding. Last check: 2007-10-31)
		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)

	Software as Science - Science as Software
		It is the study of the computer as a dynamic physical device and what programmers are capable, intentionally or not, of making it do.[5] Donald Knuth insisted on the craft nature of programming, characterizing it as an "art".
		Yet, it seems equally clear from activities surrounding the Algol meetings that others besides McCarthy were familiar with the lambda calculus and were exploring its use as a vehicle for defining the semantics of the new language.
		Landin's abstract of his seminal article, "The mechanical evaluation of expressions" (Computer Journal 6(1964), 308-20), captures the intent and tone of these early efforts: "This paper is a contribution to the 'theory' of the activity of using computers.
	www.princeton.edu /~mike/softsci.htm (10977 words)

	Papers - DSL 97
		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.usenix.org /publications/library/proceedings/dsl97/full_papers/elliott/elliott_html/elliott.html (7131 words)

	Informatici celebri: Tutte le informazioni su Informatici celebri su Encyclopedia.it (Site not responding. Last check: 2007-10-31)
		Bina, Eric J. Premio McDowell 1997 - Browser multipiattaforma per WWW
		Alan J. Perlis - Premio Turing 1966 - Tecniche avanzate di programmazione, Programming Pearls
		Shor, Peter W. Simon, Herbert A. Premio Turing 1975 - Intelligenza artificiale
	www.encyclopedia.it /i/in/informatici_celebri.html (1559 words)

	[No title]
		ÓºPeter J. Landinä,Óº SyntaxäBÓº"Computer languageä4ÓºProgrammer?Ù Ú-OÙ Ú;ðá:ó¨&Chapter 3 - Language Design Principles¨IProgramming Languages: Principles and Practice, 2nd Ed.
		Syntactic sugar gives the programmer (designer, in the case of specification computer languages) an alternative way of coding (specifying) that is more practical, either by being more succinct or more like some familiar notation.
		¡ªR$ j ÃòóU 0ß$3òóU 0ßIOòóU 0ßUfòóU 0ßÐÚó·¨C++ case study¡¨;Thanks to Bjarne Stroustrup, C++ is not only a great success story, but also the best-documented language development effort in history: 1997: The C++ Programming Language, 3rd Edition (Addison-Wesley).
	www.cs.usu.edu /~allanv/cs4700/Loud3.ppt (513 words)

	Great Works in Programming Languages
		In J. Seldin and J. Hindley, editors, To H. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pages 479-490.
		In J. Schwartz, editor, Mathematical Aspects of Computer Science, volume 19 of Proceedings of Symposia in Applied Mathematics, pages 19-32, Providence, Rhode Island, 1967.
		Michael J. Gordon, Robin Milner, F. Lockwood Morris, Malcolm Newey, and Christopher P. Wadsworth.
	www.cis.upenn.edu /~bcpierce/courses/670Fall04/GreatWorksInPL.shtml (687 words)

	Lisp and Symbolic Computation (Site not responding. Last check: 2007-10-31)
		117--123 Peter J. Landin A Generalization of Jumps and Labels.
		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)

	Understanding continuations \| Lambda the Ultimate
		Making a continuation first-class means to 'freeze' a semantic stack so that it does not execute, and whenever the continuation is invoked, an executable copy of the frozen stack is created.
		In this case, it seems that what you are trying to say is that the execution state is reified into a callable entity.
		Including the seminal A Generalization of Jumps and Labels by Peter J. Landin, and an introduction to it by Hayo Thielecke.
	lambda-the-ultimate.org /node/86 (8782 words)

	Continuation - Wikipedia, the free encyclopedia
		A programming language supports re-invocable continuations if a continuation may be invoked repeatedly (even after it has already returned).
		Re-invocable continuations were introduced by Peter J. Landin using his J (for Jump) operator that could transfer the flow of control back into the middle of a procedure invocation.
		Re-invocable continuations have also been called "re-entrant" in the MzScheme programming language.
	en.wikipedia.org /wiki/Continuation (853 words)

	Programming (1995)
		Joxan Jaffar, Jean-Louis Lassez, and Michael J. Maher.
		Mark J. Stefik, Daniel G. Bobrow, and Kenneth M. Kahn.
		Peter Wegner, William Scherlis, James Purtilo, David Leckham, and Ralph Johnson.
	www.spinellis.gr /bib/struct.htm (3602 words)

	[No title]
		ACT s make it easier to model layered communication architectures, to enforce the invariant behavior among objects, to reduce the complexity of programs by hiding the interaction details in separate modules and to improve reusability through the application of object-oriented principles to ACT classes.
		We formulate and prove the soundness not only of the underlying analyses but also of the transformation.
		We can also write bisimulations in closed form in cases where similar bisimulation methods [27] require an inductive specification.
	www.ccs.neu.edu /home/wand/refs.bib (1348 words)

	Charles Babbage Institute: Software History Bibliography, L-M
		Landin, Peter J. “The Next 700 Programming Languages.” Communications of the ACM 9 (March 1966): 157-66.
		MacGrady, Glenn J. “Protection of Computer Software: An Update and Practical Synthesis.” Houston Law Review 20 (July 1983): 1033-82.
		Maggs, Peter B. “Computer Programs as the Object of Intellectual Property in the United States of America.” American Journal of Comparative Law 30 (1982): 251-73.
	www.cbi.umn.edu /shp/shplm.html (4573 words)

	Accordion Links: Manufacturers and Shops
		This seems to be one of two successors of Rudolf Reist: director Peter Wisler-Reist was his son-in-law.
		Ron Pearce Music from St Peters (near Adelaide) carries a comprehensive range of new and secondhand accordions, repairs and tunes accordions, and provides music education for piano accordion, chromatic accordion and button accordion.
		The company works in designing, producing, distributing, retailing and wholesaling business; they sell accordions under their own brand name, but I think it is a case of badge manufacturing: the "Peter Pan" and "Mythos" models look remarkably similar to the Piginis of the same name.
	www.accordionlinks.com /manufacturer.cfm (8508 words)

	LtU Classic Archives
		I'd love to nominate Ken Iverson and Roger Hui for J, but it's such a hugely esoteric language, and I find it much less useful than other languages (despite its beauty).
		However, it is not inappropriate to honor people who have had a major impact via language design.
		Peter J. Landin for ISWIM, the first functional language (see page 29 of Paulson's notes for a comparison with LISP; also see Wadler's tribute, and the original).
	lambda-the-ultimate.org /classic/message4585.html (1338 words)

	Open Directory - Computers:Programming:Languages (Site not responding. Last check: 2007-10-31)
		Three main classes of data structured languages exist, determined by the type of data structure on which they are based.
		The term was invented and named by Peter J. Landin in "The Next 700 Programming Languages", CACM vol 9 pp 157-165, March 1966: "Any non-whitespace token to the left of the first such token on the previous line is taken to be the start of a new declaration."
		His goal was to develop a language that could be operated interactively from the keyboard of a "reactive typewriter." Growing from his earlier work on information retrieval systems, Mooers originally envisioned TRAC as a tool that could be used by librarians and others in their everyday work.
	dmoz.org /Computers/Programming/Languages/desc.html (10318 words)

	Lassie Films
		Sequel to "Lassie Come Home"- Adult Joe Carraclough, joins the RAF in World War II, and Lassie follows her master when he's shot down behind enemy lines.
		Cast: Peter Lawford (Joe Carraclough), Donald Crisp (Sam Carraclough), June Lockhart (Priscilla), Nigel Bruce (Duke of Rudling), William Severn (Henrik), Leon Ames (Anton), Donald Curtis (Sergeant Eddie Brown), Robert Lewis (Sergeant Schmidt)
		Young Kathie Merrick saves a collie puppy and trains him to be a champion, but Lassie is lost due to a freak accident.
	www.lassie.net /films.htm (842 words)

	CSC 200, Spring 2002, University of Rochester, Chen Ding
		An interactive web applet for maximum/minimum cut is available from Remote Interactive Optimization Testbed (RIOT).
		"The Next 700 Programming Languages", Peter J. Landin, Communications of ACM, Volume 9 (3), 1966.
		"The entity-relationship model: toward a unified view of data", Peter Pin-Shan Chen, ACM Transactions on Database Systems (TODS), Volume 1 (1), 1976.
	www.cs.rochester.edu /u/www/u/cding/Teaching/200Spring2002 (966 words)

	May 3 Birthdays in History
		May 3, 1944 Ian Peter Leslie Smith, journalist
		May 3, 1893 Hope Landin, Minneapolis MN May 3, 1892 Beulah Bondi, Chicago, actress, It's a Wonderful Life
		May 3, 1692 Jan J Mauricius, Dutch governor-general of Suriname, 1742-51
	www.brainyhistory.com /daysbirth/birth_may_3.html (1184 words)

	Texts
		LISP Pointers, 4(4), 1991.", year = "1991", url = "citeseer.nj.nec.com/clinger91hygienic.html" } @inproceedings{ cr:macros, author = "W. Clinger and J. Rees", title = "Macros that work", booktitle = popl, year = 1990, pages = "155-162" } @article{dhb:sc, author="R.~Kent Dybvig and Robert Hieb and Carl Bruggeman", title="Syntactic abstraction in {S}cheme", journal=lasc, year="1993", volume="5", number="4", pages="295--326", month=dec}
		It defines the concepts and discusses a number of applications.
		@phdthesis{m:lc-models, title="Lambda-Calculus Models of Programming Languages", author="Morris, J. school="{Massachusetts Institute of Technology}", year=1968} @article{ gdp:cbn-cbv, author="Gordon D.~Plotkin", title="Call-by-name, call-by-value, and the $\lambda$-calculus", journal=tcs, year=1975, pages="125--159" }
	www.ccs.neu.edu /home/matthias/369-s04/texts.html (820 words)

	Destination ImagiNation of Kentucky
		Mind-Treks (Creative Hands-On Problem-Solving Activities), Les Landin and Linda Hagelin, Fearon Teacher Aids, Parsippany, NJ, 1996, ISBN 0-86653-860-7, 48 pgs.
		Mind Treks III (Creative Hands-On Problem-Solving Activities), Les Landin and Linda Hagelin, Fearon TeacherAids, Parsippany, NJ, 1997, ISBN 1-56417-672-X, 48 pgs.
		Step-by-Step Stenciling, Paula and Peter Knott, Meredity Press, Des Moines, IA, 1996, ISBN 0-69620679-X, 95 pgs, Grades 4-Adult
	www.ky-di.org /links.html (3199 words)

Try your search on: Qwika (all wikis)