CiteULike is a free online bibliography manager. Register
and you can start organising your references online.
An Interpreter for Extended Lambda Calculus (AIM-349)(December 1975)
|
Reviews
[Write a review of this article]
There are no reviews of this article
Find related articles from these CiteULike users Find related articles with these CiteULike tags AbstractInspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. We wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP. (2) explain how to use these control structures, independent of such issues as pattern matching and data base manipulation. (3) have a simple concrete experimental domain for certain issues of programming semantics and style.
BibTeX record RIS record100 17th 18th 1d 2004 3d abstraction achievment acquisitionist acting action actionresearch active activism activity activitytheory adaptive advanced ae aera affective affordances africa agency agent agents aggregation ai aided aied05workshop alethiometer alexander algebra algebraic algorithm algorithms algrithm alife aminal analysis and animal animated animation anstraction ant antcolony antropology ants anxiety apes apos apprenticeship approach appropriation aquisition architecture argument argumentation arithmetic arrays art artefacts artificial as_conv assistance assisted atomicunification attention authoring autobiographic automata autonomous autoring avantgarde axioms ayal background basic basics becta behavior behaviour belief beliefs bernstein bibtex-import biological biology blackboard blind blogs boredom boundary bounded bourdieu boxer brain bruner buckminster buddhism building cabri calculators calculus campus cardinality cas categorization category cellular century cerme2005 ch2 chalkboard change children christoper christopher citations cite citeulike cities clasification classic classification classroom cluster cognition cognitive colaboration cole collaboation collaboration collaborative collboration collection collective collision colony color combinatoric combinatorics cominatoric comlexity commercial communication communications communities communitiesofpractice community competency-based competition complecity comples complex complexity components computation computational computationreplay computer computers computerscience computer-supported computing concept conception concepts conceptual conceptualisation concurrent conflict confucianism congnitive congruence connected consciousness consensus constraint constraints construction constructionism constructionkits constructivism constructivist content context contextual controler convergence conversation convivial conviviality cool cooperative cortex cortical course covariance covariation critical croquet crouquet csa-search csca cscl cscl-2005 cscw cubism cultural culture curriculum debug decision deduction definitions deictic delicious democracy dependence descriptions descriptive desighpatterns desighresearch design design-for-use designgames design-in-use designpatterns designprinciples designresearch designscience detection development developmentalism dewey diagrammatic diagrams dialogicality dialogplus dialogue didactic didacticalfunctionalities differences digital disabilities disablities discourse discovery discussion disessa distance distributed distributeddetection documentation dolphin dolphins drillandpractice dtl dynamic dynamics ea early earlyyears ebook ecoliteracy economic economics economy ecudation editing editor edmedia02 edmedia04 education educational educationalmodelling educatioon edutainment edutella efficiency elearning e-learning electronic elementary e-len embodied emergence emergent eml emotion england eni enidtl eni-dtl enjoyment entropy environments epidemic epistemology equals equivalence essays ethics ethnography ethnomathematics ethnomethodology etoys evaluation events evolution examples excel experiemnts experience experiment experimental experiments explanation exploratory external externalization factorial family fetch fields filtering first flow fmri folksonomies folksonomy for formalism formation fortran foundational foundations four fractals fractions fragmented free french friends friendster fuller fun function functional functions fundamental funky future futurism game gamedesign games gamestudies gametheory gaming gang gears gender generalization genesis genre geography geometry geometrystatistics geomety gesture gestures ghostwriter gibson gmr gmx godel gof grainsofsand grammar grammer graph graphclustering graphic graphical graphics graphs graph-theory grounded group groups guess guess-my-rule guinea hacktivism halliday happiness hard have hawthorne hci heidegger hetrogeneity hierarchy higher historical history home homesigning hot-line human human-centered hypermedia hypothesis hypothesizing icme iconic ict ijceell ijceell06 ijmte2006 ijtme2006 ilceell06 illustrative ilyenkov imagery imitative impact implication improvisation ims-ld in incompletemessages incompletness indeterminism individual inductive infants inferior infinity informant information inner innovation input inquiry inservice institutions instruction instructional instructionism instrument instrumental instrumentation instrumented-mediated instruments insturmentation intelligence intelligencemodeling intelligences intelligent interaction interactionism interactions interactive intercultural interface internet intersubjectivity intreraction introduction intuition intuitions issue istuff it iteration iterative java jazz jeff joe999 joy justice kal-patterns-analysis kits knowledge knowledge-based knowledgebuilding kolmogorov langauge language languageembedding languagegames languages laptop learner-centered learning learningdesign learningobjects legitimate lego lesson level library life lifelong ligitimate likelihood limit linguistics lisp literacy literaturereview lklgamers lklgames lkl-kss lms logic logical logicalvariable logics logo longitudinal ludology lunarlander machine madison making man management manual map maps marcuse marketing massive massively matching matchsticks materials math mathematica mathematical mathematics mathgamespatterns maths matrix meaning meaningful meanings means measure media mediated mediation members memorizing memory memos metacognition metadata metainterpretation metamind metaphor metaphors methaphor methodology methods mexicali microculture micromath microworld microworlds miming mind mindmaps misconceptions mit mmog mmorpg mobile modding model modelling models modern modularity mor mot motion motivation motivations mot-ld mud multi multiagent multi-agent multimedia multimodal multimodality multiplayer multiple multiplication museum music mvc my naming narrative narratology narrprog nativism natural naturalphilosophy nature navigation need needs negotiation neo-piagetian network networks neural neurobiology neurocognition neurocognitive neurology neuropsychology neuroscience new non-linear norms notation now nuggets number numbers numeracy object objectification objects observation of ollaboration online ontology open opensource openspecifications optimization orchestration order oregon organizations oriented overview ownership p2p paper papert papua paradigms paradox parietal particiaptionist participation participatory participatorydesign pattern patterns pbl pebbles pedagogical pedagogy perception perceptrons performativity peripheral person perspective perspectives persuasive pervasive phenomenography phenomenology philosophicallanguage philosophy philosopy physical physics piaget pieces place place-value planning plans platform plato play playfull playground playing poetic pointing politics polya popular posing p-prims practice practices predicate preference pre-post prisoners-dilemma probability probablistic problem problems proccess procept procepts process processes processing process-product processstructures production program programing programming programs project prolog proof proportion protocol protolanguage prototyping proximal prussia pschology psychiatry psychology psychologyofprogramming psychotherapy puzzles pysics qualitative quantitative quicksilver quotation quote radical randomness rap rate ratiional rational rationality rdf read reading real reasoning recursion recursive referring reflection reflective reification reload remedial repeated report repositories representation representational representations reputation requirements research resemblence review rewrite rfid rhetoric robots role role-play rote routing rule rules sapir-whorf scaffolding scalar-functional scale scalefree scale-free-networks scalinglaw schema scheme school science scripts seamful search secondary selforganization semantic semantics semanticweb seminal seminar semiotic semiotic-cultural semioticmediation semiotics sentence sequecnes sequences sequences-esm sequences-ictmt7 sequnces serendipity series sex sexual shannon shapshots sharing shooter short-circuit side-payments signs simple simulation simulations singularity situated situations skills slate smalltalk small-world social socialnetworks socialsoftware society sociocognative sociocognition sociocognitive sociocultural sociocutural sociolinguistic sociology sociomathematical software sollutions solving source space spaces spatial speach special speech speed spinoza spreadsheet spreadsheets squeak squid stance standards statements statistical statistics stigmergy strategies stratified streams structures student studies sturdies superstructure supported survay sustainability swarm swarms symbol symbolic symbolization symbols symolic syntax system systems systolic sytax tagging tags tangible tangibles task taxonomies taxonomy teacher teachers teaching team techne technology teem tel teleological television template temporal testimony testing text textbooks thechnology theorem theorem-in-action theoretical theories theory theory-of-mind therapy things