| 1 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
Abstract:
Logo is more than a programming language. It is a learning environment where children explore mathematical ideas and create projects of their own design. Logo, the first computer language explicitly designed for children, was invented by Seymour Papert, Wallace Feurzeig, Daniel Bobrow, and Cynthia Solomon in 1966 at Bolt, Beranek and Newman, Inc. (BBN). Logo's design drew upon two theoretical frameworks: Jean Piaget's constructivism and Marvin Minsky's artificial intelligence research at MIT. One of Logo's foundational ideas was that children should have a powerful programming environment. Early Lisp served as a model with its symbolic computation, recursive functions, operations on linked lists, and dynamic scoping of variables. Logo became a symbol for change in elementary mathematics education and in the nature of school itself. The search for harnessing the computer's potential to provide new ways of teaching and learning became a central focus and guiding principle in the Logo language development as it encompassed a widening scope that included natural language, music, graphics, animation, story telling, turtle geometry, robots, and other physical devices.
|
|
Keyword:
Computing education programs—Computer science education; Computing education– Computational thinking; Computing literacy; Constructionism; Constructivism; Data types and structures; Education– Interactive learning environments; Functional languages; functions and subroutines; History of computing–History of programming languages; Imperative languages; Informal education; Interactive computation; K-12 education; K-12 education (ages 5-18); Language features–Control structures; Lisp; Logo; Procedures; Recursion; Recursive functions; Software notations and tools–General programming languages; Theory of computation–Models of computation— Computability–Lambda calculus; turtle geometry
|
|
URL: https://escholarship.org/uc/item/1623m1p3
|
|
BASE
|
|
Hide details
|
|
|
| 2 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
|
|
|
|
In: AOSD 2012 Student Research Competition (Poster) ; https://hal.inria.fr/hal-00668999 ; AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩ (2012)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Gestion de versions de formats avec Camlp4
|
|
|
|
In: Journées Francophones des Langages Applicatifs ; https://hal.inria.fr/inria-00331365 ; Journées Francophones des Langages Applicatifs, Jan 2007, Aix-les-Bains, France (2007)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
|
|
|
|
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Modular typechecking for hierarchically extensible datatypes and functions
|
|
|
|
In: http://www.cs.ucla.edu/~todd/research/eml-toplas.pdf (2002)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
The Detection of C++ Programs
|
|
|
|
In: http://www.tu-chemnitz.de/phil/english/chairs/linguist/real/independent/TechPresent/texts/refs.pdf
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Expressive, Efficient, Embedded, and Component-based XML-Java Data Binding Framework
|
|
|
|
In: http://ecologylab.net/technicalReports/ecolabXML_TR_08_06.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
