A Mechanical Proof of the Unsolvability of the Halting Problem
Journal of the ACM (JACM)
Procedures as persistent data objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Structure handling in data-flow systems
IEEE Transactions on Computers - The MIT Press scientific computation series
Knowledge systems: Principles and practice
IBM Journal of Research and Development
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Prolog dialects: a deja vu of BASICs
ACM SIGPLAN Notices
A recursive interpreter for the Icon programming language
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A programmable interface language for heterogeneous distributed systems
ACM Transactions on Computer Systems (TOCS)
Bindings persistent programming languages
ACM SIGPLAN Notices
A mechanical proof of the Church-Rosser theorem
Journal of the ACM (JACM)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
Analysis of functional programs to detect run-time garbage cells
ACM Transactions on Programming Languages and Systems (TOPLAS)
An open-ended data representation model for EU_LISP
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
EQL: The Language and its Implementation
IEEE Transactions on Software Engineering
The theory and practice of first-class prompts
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning with continuations II: full abstraction for models of control
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
ACM SIGPLAN Notices
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Set abstraction in functional and logic programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
M-LISP: its natural semantics and equational logic
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Towards multiple self-application
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
CONS should not CONS its arguments, or, a lazy alloc is a smart alloc
ACM SIGPLAN Notices
M-LISP: a representation-independent dialect of LISP with reduction semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
HOPL-II The second ACM SIGPLAN conference on History of programming languages
An operational semantics for I/O in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
How to make AXIOM into a scratchpad
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Powerlist: a structure for parallel recursion
ACM Transactions on Programming Languages and Systems (TOPLAS)
Fast floating-point processing in Common Lisp
ACM Transactions on Mathematical Software (TOMS)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The APL 90 project: new directions in APL interpreters technology
APL '85 Proceedings of the international conference on APL: APL and the future
Experience with an analytic approach to teaching programming languages
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
The Theory of Fexprs is Trivial
Lisp and Symbolic Computation
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
An implementation technique for database query languages
ACM Transactions on Database Systems (TODS)
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
A facility for defining and manipulating generalized data structures
ACM Transactions on Database Systems (TODS)
Experiments With a Multipurpose, Theorem-Proving Heuristic Program
Journal of the ACM (JACM)
A Formalism for Program Translation
Journal of the ACM (JACM)
One-way nondeterministic real-time list-storage languages
Journal of the ACM (JACM)
Experiments With Some Programs That Search Game Trees
Journal of the ACM (JACM)
Z-Resolution: Theorem-Proving with Compiled Axioms
Journal of the ACM (JACM)
Proving Theorems about LISP Functions
Journal of the ACM (JACM)
A Methodology for LISP Program Construction from Examples
Journal of the ACM (JACM)
ICMS: an intelligent cell memory system for real-time engineering applications
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Two-level grammar: data flow English for functional and logic programming
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Dynamic optimization of covered tail recursive functions in applicative languages
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
An efficient LISP-execution architecture with a new representation for list structures
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Elements of Data Management Systems
ACM Computing Surveys (CSUR)
Programming in an Interactive Environment: the ``Lisp'' Experience
ACM Computing Surveys (CSUR)
Data-Driven and Demand-Driven Computer Architecture
ACM Computing Surveys (CSUR)
Compact Encodings of List Structure
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compact Storage of Binary Trees
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design of the S system for data analysis
Communications of the ACM
Cryptographic sealing for information secrecy and authentication
Communications of the ACM
Design of a LISP-based microprocessor
Communications of the ACM
Recursive data structures in APL
Communications of the ACM
An empirical study of list structure in Lisp
Communications of the ACM
List processing in real time on a serial computer
Communications of the ACM
Communications of the ACM
An example of hierarchical design and proof
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
Two-level control structure for nondeterministic programming
Communications of the ACM
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
Requirements for advanced programming systems for list processing
Communications of the ACM
Protection in programming languages
Communications of the ACM
A program to teach programming
Communications of the ACM
Experiments with the M & N tree-searching program
Communications of the ACM
Representations for space planning
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
Application of game tree searching techniques to sequential pattern recognition
Communications of the ACM
Another recursion induction principle
Communications of the ACM
On the meaning of names in programming systems
Communications of the ACM
List tracing in systems allowing multiple cell-types
Communications of the ACM
A formalism for translator interactions
Communications of the ACM
Comment on Cheney's list-compaction algorithm
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
Transition network grammars for natural language analysis
Communications of the ACM
Computing polynomial resultants: Bezout's determinant vs. Collins' reduced P.R.S. algorithm
Communications of the ACM
New LISP techniques for a paging environment
Communications of the ACM
Structure of a LISP system using two-level storage
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
Compact list representation: definition, garbage collection, and system implementation
Communications of the ACM
A base for a mobile programming system
Communications of the ACM
A proposal for definitions in ALGOL
Communications of the ACM
Communications of the ACM
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
An operating environment for dynamic-recursive computer programming systems
Communications of the ACM
The structure of programming languages
Communications of the ACM
Communications of the ACM
A programmer's description of L6
Communications of the ACM
Solutions of systems of polynomial equations by elimination
Communications of the ACM
Experiments with a deductive question-answering program
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
Immigration course in computer science: teaching materials and 1972 schedule
ACM SIGCSE Bulletin
The programming languages REC and convert
ACM SIGPLAN Notices
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Actor induction and meta-evaluation
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Threshold evaluation and the semantics of call by value, assignment and generic procedures
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An indeterminate constructor for applicative programming
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Paths: an abstract alternative to pointers
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Autarkic Computations in Formal Proofs
Journal of Automated Reasoning
XML Applications Development in Scheme
Programming and Computing Software
Definitional Interpreters Revisited
Higher-Order and Symbolic Computation
Scheme: A Interpreter for Extended Lambda Calculus
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited
Higher-Order and Symbolic Computation
Partial Evaluation of Computation Process, Revisited
Higher-Order and Symbolic Computation
Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler
Higher-Order and Symbolic Computation
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Sassy: A Language and Optimizing Compiler for Image Processing on Reconfigurable Computing Systems
ICVS '99 Proceedings of the First International Conference on Computer Vision Systems
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Theory of Judgments and Derivations
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
POS-9 Revised Papers from the 9th International Workshop on Persistent Object Systems
Digitisation, Representation, and Formalisation
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reflection and semantics in LISP
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Direct execution of lisp on a list_directed architecture
ASPLOS I Proceedings of the first international symposium on Architectural support for programming languages and operating systems
M3L: A list-directed architecture
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
The MuNet: A scalable decentralized architecture for parallel computation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
LELISP, a portable and efficient LISP system
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The implementation of procedurally reflective languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
A scheme for implementing functional values on a stack machine
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
LISP - notes on its past and future
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Continuation-based multiprocessing
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
MULTI - a LISP based multiprocessing system
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Divide and concer: Data structuring in applicative multiprocessing systems
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
FLATS, a machine for numerical, symbolic and associative computing
ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
MBALM/1700: A microprogrammed LISP machine for the Burroughs B1726
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
Some pedagogic considerations in teaching elementary programming using structured FORTRAN
SIGCSE '76 Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
A Partitioned Ring Structure Processor
DAC '73 Proceedings of the 10th Design Automation Workshop
An Introduction To DIAM Levels Of Abstraction In Accessing Information
ACM '78 Proceedings of the 1978 annual conference
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
EDUSAC - an educational list processing system
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Picture generation for Interactive Graphics
DAC '72 Proceedings of the 9th Design Automation Workshop
APL in operating systems research
APL '81 Proceedings of the international conference on APL
The specification of program flow in Madcap 6
ACM '72 Proceedings of the ACM annual conference - Volume 2
Programming with(out) the GOTO
ACM '72 Proceedings of the ACM annual conference - Volume 2
Applications of symbolic programs to complex analysis
ACM '72 Proceedings of the ACM annual conference - Volume 2
An on-line symbol manipulation system
ACM '67 Proceedings of the 1967 22nd national conference
A semantic model for a language processor
ACM '67 Proceedings of the 1967 22nd national conference
Compound data structure for computer aided design; a survey
ACM '67 Proceedings of the 1967 22nd national conference
Man-machine interaction: Machine-aided design of context-free grammars
ACM '65 Proceedings of the 1965 20th national conference
List-tracing in systems allowing multiple cell-types
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
An introduction to AMBIT/L, a diagrammatic language for list processing
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Hashing LEMMAs on time complexities with applications to formula manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Univariate power series expansions in algebraic manipulation
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
A single-pass syntax-directed front end for Ada
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Structured programming and automatic program synthesis
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Proceedings of ACM conference on Proving assertions about programs
Models for mathematical systems
SYMSAC '66 Proceedings of the first ACM symposium on Symbolic and algebraic manipulation
Document structure and modularity in mentor
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
GLOSS: A semantic model of programming languages
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Aspects of applicative programming for file systems (Preliminary Version)
Proceedings of an ACM conference on Language design for reliable software
ACM SIGPLAN Notices - Special issue: History of programming languages conference
ACM '64 Proceedings of the 1964 19th ACM national conference
A language for a scientific and engineering database system
DAC '82 Proceedings of the 19th Design Automation Conference
Nial: A candidate language for fifth generation computer systems
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
PIRL—Pattern Information Retrieval Language—design of syntax
ACM '71 Proceedings of the 1971 26th annual conference
The comparison of programming languages: A linguistic approach
ACM '68 Proceedings of the 1968 23rd ACM national conference
Aspects and applications of symbol manpulation
ACM '66 Proceedings of the 1966 21st national conference
On the equivalences of data based systems
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational
A methodology for LISP program construction from examples
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
ACM SIGSOFT Software Engineering Notes
Why a Lisp-based command language?
ACM SIGPLAN Notices
Some common misconceptions about Lucid
ACM SIGPLAN Notices
A comparison of LISP specifications of function definition and argument handling
ACM SIGPLAN Notices
Prettyprinting styles for various languages
ACM SIGPLAN Notices
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
ACM SIGPLAN Notices
Lisp 1.5 decision tables implemented for a serial computer and proposed for parallel computers
ACM SIGPLAN Notices - Special issue on decision tables
Program readability, closing keywords and prefix-style intermediate keywords
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An experimental LISP system for the SPERRY UNIVAC 1100 Series
ACM SIGPLAN Notices
Relating operational and denotational semantics for input/output effects
Mathematical Structures in Computer Science
An implementation of on-conditions in LISP
ACM SIGPLAN Notices
Extensibility in programming language design
ACM SIGPLAN Notices - Special issue on programming language design
A generalized approach to interpretation machines
ACM SIGPLAN Notices
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Programming with(out) the GOTO
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices
Threaded interpretive systems and functional programming environments
ACM SIGPLAN Notices
Translating interactive computer dialogues from ideographic to alphabetic languages
COLING '80 Proceedings of the 8th conference on Computational linguistics
COLING '67 Proceedings of the 1967 conference on Computational linguistics
A prototype theorem-prover for a higher-order functional language
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
The synthesis of digital machines with provable epistemic properties
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Models for machine learning and data mining in functional programming
Journal of Functional Programming
Artificial intelligence meets natural stupidity
ACM SIGART Bulletin
A preliminary survey of artificial intelligence machines
ACM SIGART Bulletin
History of programming languages---II
Comment on "Cleaning up ALGOL60"
ALGOL Bulletin
ACM SIGSAM Bulletin
Factoring multivariate polynomials over the integers
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
ACM SIGSAM Bulletin
Symbol manipulation and formula manipulation
ACM SIGSAM Bulletin
META/LISP: an interactive translator writing system
ACM SIGSAM Bulletin
An algebraic simplification program in PL/I
ACM SIGSAM Bulletin
Io: a small programming language
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data structure models for programming languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
The equivalence of sequential and associate information structure models
ACM SIGPLAN Notices
Efficient data accessing in the programming language Bliss
ACM SIGPLAN Notices
Representation and manipulation of data structures in APL
ACM SIGPLAN Notices
ACM Lisp Bulletin
The TXL source transformation language
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Assimilating MetaBorg:: embedding language tools in languages
Proceedings of the 5th international conference on Generative programming and component engineering
History of programming languages I
A framework for supporting dynamic systems co-evolution
Automated Software Engineering
A Model for Control Structures for Artificial Intelligence Programming Languages
IEEE Transactions on Computers
A Computing Machine Based on Tree Structures
IEEE Transactions on Computers
Aspects of Applicative Programming for Parallel Processing
IEEE Transactions on Computers
Cooperating Reduction Machines
IEEE Transactions on Computers
Programming Languages The First 25 Years
IEEE Transactions on Computers
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Notices
ACM Lisp Bulletin
Generic multi--packet communication through object serialization
Proceedings of the 3rd international workshop on Middleware for sensor networks
MATHLAB: a program for on-line machine assistance in symbolic computations
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
Structuring programs for multiprogram time-sharing on-line applications
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
MATHLAB: a program for on-line machine assistance in symbolic computations
AFIPS '65 (Fall, part II) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part II: computers: their impact on society
A computer program which "understands"
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
A heuristic program to solve geometric-analogy problems
AFIPS '64 (Spring) Proceedings of the April 21-23, 1964, spring joint computer conference
APL: a language for associative data handling in PL/I
AFIPS '66 (Fall) Proceedings of the November 7-10, 1966, fall joint computer conference
The people problem: computers can help
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
SPRINT: a direct approach to list processing languages
AFIPS '67 (Spring) Proceedings of the April 18-20, 1967, spring joint computer conference
LISP A: a lisp-like system for incremental computing
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
A language design for concurrent processes
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
Linguistic methods in picture processing: a survey
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
A limited speech recognition system
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
A hierarchical graph model of the semantics of programs
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
BALM: an extendable list-processing language
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
Vulcan: a string handling language with dynamic storage control
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
GOLD: a graphical on-line design system
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
An information processing approach to theory formation in biomedical research
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
From PLANNER to CONNIVER: a genetic approach
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
Open, Extensible Object Models
Self-Sustaining Systems
Self-Sustaining Systems
Implementation and application of a function data type
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Extensibility in programming language design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Quantification in a relational data system
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
LPL: a generalized list processing language
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
A pattern of language evolution
Celebrating the 50th Anniversary of Lisp
Interactive natural language interface
WSEAS Transactions on Computers
Generic interactive natural language interface to databases (GINLIDB)
EC'09 Proceedings of the 10th WSEAS international conference on evolutionary computing
Verified LISP Implementations on ARM, x86 and PowerPC
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Procedural embedding of knowledge in planner
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Solving problems by formula manipulation in logic and linear inequalities
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Flats, a machine for numerical, symbolic and associative computing
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Concurrent LISP on a multi-micro-processor system
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
Inversion of applicative programs
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A theorem prover for elementary set theory
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PROW: a step toward automatic program writing
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
An introduction to the heuristic programming system
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
PLANNER: a language for proving theorems in robots
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Gentzen-type formal, system representing properties of function and its implementation
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Some principles of artificial learning that have emerged from examples
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
A model for control structures for artificial intelligence programming languages
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A LISP machine with very compact programs
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Operationalizing heuristics: some AI methods for assisting AI programming
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
On The Advantages of Tagged Architecture
IEEE Transactions on Computers
A computer graphics system for block diagram problems
IBM Systems Journal
A data definition facility based on a value-oriented storage model
IBM Journal of Research and Development
General arrays, operators and functions
IBM Journal of Research and Development
The origin of the VM/370 time-sharing system
IBM Journal of Research and Development
Web applications: spaghetti code for the 21st century
Web applications: spaghetti code for the 21st century
Web browser as an application platform: the lively Kernel experience
Web browser as an application platform: the lively Kernel experience
IBM Systems Journal
TXL - A Language for Programming Language Tools and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
New abstractions for data parallel programming
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Open, extensible composition models
Proceedings of the 1st International Workshop on Free Composition
Applicative information system for the web environment
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Type-driven automatic quotation of concrete object code in meta programs
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
A rational deconstruction of landin's SECD machine
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Computer Languages
Computer Languages
Staged computation with staged lexical scope
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
REDUCE: a user-oriented interactive system for algebraic simplification
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
The engineering assistant: design of a symbol manipulation system
Symposium on Interactive Systems for Experimental Applied Mathematics: Proceedings of the Association for Computing Machinery Inc. Symposium
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Bibliography on data base structures
ACM SIGMIS Database
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.73 |