3 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
4 |
Partial Evaluation Based CPS Transformation: An Implementation Case Study ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Partial Evaluation Based CPS Transformation: An Implementation Case Study ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Representing and computing with types in dynamically typed languages ; Représentation et calcul avec des types dans des langages à typage dynamique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03018107 ; Symbolic Computation [cs.SC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS440⟩ (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Contact-Induced Change? Basque lisp in Navarre
|
|
|
|
In: 18e Rencontres Jeunes Chercheurs en Sciences du Langage ; https://hal-univ-paris3.archives-ouvertes.fr/hal-01495118 ; 18e Rencontres Jeunes Chercheurs en Sciences du Langage, ED 268 Paris 3, Jun 2015, Paris, France (2015)
|
|
BASE
|
|
Show details
|
|
12 |
A Need for Multilingual Names
|
|
|
|
In: The 7th European Lisp Symposium ; https://hal.archives-ouvertes.fr/hal-01060446 ; The 7th European Lisp Symposium, May 2014, Paris, France. pp.64-71 (2014)
|
|
BASE
|
|
Show details
|
|
13 |
The OMAS Multi-Agent Platform
|
|
|
|
In: The 7th European Lisp Symposium ; https://hal.archives-ouvertes.fr/hal-01060443 ; The 7th European Lisp Symposium, May 2014, Paris, France. pp.33-34 (2014)
|
|
BASE
|
|
Show details
|
|
14 |
Extensible Languages: Blurring the Distinction between DSL and GPL
|
|
|
|
In: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments ; https://hal.archives-ouvertes.fr/hal-01542954 ; Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch001⟩ ; https://www.igi-global.com/chapter/extensible-languages-blurring-distinction-between/71814 (2012)
|
|
BASE
|
|
Show details
|
|
15 |
Armazenamento e consulta relacional de texto: o caso de “Os Lusíadas”
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Visual Lisp/CLOS Programming in OpenMusic
|
|
|
|
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.archives-ouvertes.fr/hal-00683472 ; Higher-Order and Symbolic Computation, Springer Verlag, 2009, 22 (1), pp.81-111. ⟨10.1007/s10990-009-9044-x⟩ (2009)
|
|
BASE
|
|
Show details
|
|
17 |
A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation
|
|
|
|
In: ISSN: 0948-695X ; EISSN: 0948-6968 ; Journal of Universal Computer Science ; https://hal.archives-ouvertes.fr/hal-00350036 ; Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2008, 14 (20), pp.3282-3306 (2008)
|
|
BASE
|
|
Show details
|
|
18 |
A Tool for Reasoning about Qualitative Temporal Information: the Theory of Slanguages with a Lisp Implementation
|
|
|
|
In: http://www.jucs.org/jucs_14_20/a_tool_for_reasoning/jucs_14_20_3282_3306_durand.pdf (2008)
|
|
BASE
|
|
Show details
|
|
19 |
Definitional interpreters for higher-order programming languages
|
|
|
|
In: College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects (1998)
|
|
Abstract:
Abstract. Higher-order programming languages (i.e., languages in which procedures or labels can occur as values) are usually defined by interpreters that are themselves written in a programming language based on the lambda calculus (i.e., an applicative language such as pure LISP). Examples include McCarthy’s definition of LISP, Landin’s SECD machine, the Vienna definition of PL/I, Reynolds ’ definitions of GEDANKEN, and recent unpublished work by L. Morris and C. Wadsworth. Such definitions can be classified according to whether the interpreter contains higher-order functions, and whether the order of application (i.e., call by value versus call by name) in the defined language depends upon the order of application in the defining language. As an example, we consider the definition of a simple applicative programming language by means of an interpreter written in a similar language. Definitions in each of the above classifications are derived from one another by informal but constructive methods. The treatment of imperative features such as jumps and assignment is also discussed.
|
|
Keyword:
25th ACM National Conference; applicative language; closure; continuation; GEDANKEN; high-order function; interpreter; J-operator; lambda calculus; language definition; LISP; order of application; PAL; programming language; Programming Languages and Compilers; reference; SECD machine
|
|
URL: https://surface.syr.edu/lcsmith_other/13 https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other
|
|
BASE
|
|
Hide details
|
|
20 |
Software engineering for the lingware engineering ; Génie logiciel pour le génie linguiciel
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00005104 ; Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français (1994)
|
|
BASE
|
|
Show details
|
|
|
|