Composition is almost (but not quite) as good as s-1-1MARCOUX, Y.Theoretical computer science. 1993, Vol 120, Num 2, pp 169-195, issn 0304-3975Article

CalculationsLANDIN, Peter J.Higher-order and symbolic computation (Print). 2009, Vol 22, Num 4, pp 333-359, issn 1388-3690, 27 p.Article

Initiation à la programmation avec SchemeBloch, Laurent.2011, isbn 978-2-7108-0974-6, 1Vol, VII-367 p, isbn 978-2-7108-0974-6Book

Discovering the way programmers think about new programming environments : Cognition and software developmentDUMAS, J; PARSONS, P.Communications of the ACM. 1995, Vol 38, Num 6, pp 45-56, issn 0001-0782Article

Scheme and functional programmingFELLEISEN, Matthias; LAWALL, Julia; SERRANO, Manuel et al.Higher-order and symbolic computation. 2005, Vol 18, Num 3-4, issn 1388-3690, 147 p.Serial Issue

Flexible programming of the Reflex RobotCOOKE, I. E; HEYS, J. D.Industrial robot. 1985, Vol 12, Num 2, pp 117-119, issn 0143-991XArticle

A systematic approach to language constructs for concurrent programsBROY, M; BAUER, F. L.Science of computer programming. 1984, Vol 4, Num 2, pp 103-139, issn 0167-6423Article

Off-line robot programming via standardised interfacesWECK, M; NIEHAUS, T.Industrial robot. 1984, Vol 11, Num 3, pp 177-179, issn 0143-991XArticle

Robots and forthLEONARD, G. L.Microprocessing and microprogramming. 1984, Vol 14, Num 3-4, pp 165-167, issn 0165-6074Article

Standardization issues in robot languagesGINI, G; GINI, M.Computers & standards. 1985, Vol 4, Num 1, pp 13-19, issn 0167-8051Article

Temporal logic can be more expressiveWOLPER, P.Information and control. 1983, Vol 56, Num 1-2, pp 72-99, issn 0019-9958Article

Using a continuation twice and its implications for the expressive power of call/ccTHIELECKE, H.Higher-order and symbolic computation. 1999, Vol 12, Num 1, pp 47-73, issn 1388-3690Article

Robot programming languages: the statement of a problemVAN AKEN, L; VAN BRUSSEL, H.Robotica (Cambridge. Print). 1988, Vol 6, Num 2, pp 141-148, issn 0263-5747Article

BioRuby: bioinformatics software for the Ruby programming languageGOTO, Naohisa; PRINS, Pjotr; NAKAO, Mitsuteru et al.Bioinformatics (Oxford. Print). 2010, Vol 26, Num 20, pp 2617-2619, issn 1367-4803, 3 p.Article

On the power of built-in relations in certain classes of program schemesCHAUHAN, S. R; STEWART, I. A.Information processing letters. 1999, Vol 69, Num 2, pp 77-82, issn 0020-0190Article

Robotics software systemsLEU, M. C.Robotics and computer-integrated manufacturing. 1985, Vol 2, Num 1, pp 1-12, issn 0736-5845Article

Japanese robot languagesIndustrial robot. 1984, Vol 11, Num 1, pp 46-49, issn 0143-991XArticle

NIL (New Implementation of LISP) release 0. Eléments de programmation sur DEC VAX 11/780 = NIL release 0. Programming elements on DEC VAX 11/780ALIZON, F.1984, IV-83 pReport

Stop-and-copy and one-bit reference countingWISE, D. S.Information processing letters. 1993, Vol 46, Num 5, pp 243-249, issn 0020-0190Article

Magma 2: a language oriented toward experiments in controlTURINI, F.ACM transactions on programming languages and systems. 1984, Vol 6, Num 4, pp 468-486, issn 0164-0925Article

A relational division operator: the conjugate kernelDESHARNAIS, J; ALI JAOUA; MILI, F et al.Theoretical computer science. 1993, Vol 114, Num 2, pp 247-272, issn 0304-3975Article

Diamond deque: A simple data structure for priority dequesCHANG, S. C; DU, M. W.Information processing letters. 1993, Vol 46, Num 5, pp 231-237, issn 0020-0190Article

Weakly expressive models for Hoare logicHOOFMAN, R.Theoretical computer science. 1991, Vol 82, Num 2, pp 409-418, issn 0304-3975, 10 p.Article

A formalism to implement natural semantics; Un formalisme pour implémenter la sémantique naturelle = Un formalisme pour implémenter la sémantique naturelleDESPEYROUX, Thierry.Rapports techniques - I.N.R.I.A. 1988, Vol 94, issn 0249-0803, 54 p.Report

Lisp as a programming language for laboratory roboticsIQBAL TABANI; AKBAR MONTASER.Analytical instrumentation. 1987, Vol 16, Num 3, pp 375-383, issn 0743-5797Article