Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
APL '86 Proceedings of the international conference on APL
A critique of Abelson and Sussman or why calculating is better than scheming
ACM SIGPLAN Notices
Overview of concert multilisp: a multiprocessor symbolic computing system
ACM SIGARCH Computer Architecture News
Automatic design and implementation of language data types
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
A recursive interpreter for the Icon programming language
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Memory allocation and higher-order functions
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
ACM SIGIR Forum
Simulating the object-oriented paradigm to Nial
ACM SIGPLAN Notices
Tutorial: abstraction in numerical methods
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Scheme86: a system for interpreting scheme
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The common Lisp object system metaobject kernel: a status report
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Demonstrating the dangers of Pseudo-random numbers
ACM SIGCSE Bulletin
Computer algebra on MIMD machine
ACM SIGSAM Bulletin
A peek at Acore, an actor core language
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Logo as a prelude to LISP: some surprising results
ACM SIGCSE Bulletin
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
The A+ programming language, a different APL
APL '90 Conference proceedings on APL 90: for the future
A PC-based expert system in engineering
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Nondeterminism and unification in LogScheme: integrating logic and functional programming
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Teaching calculation and discrimination: a more effective curriculum
Communications of the ACM
Database programming languages: a functional approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Verifying the correctness of compiler transformations on basic blocks using abstract interpretation
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Implementation of a “Lisp comprehension” macro
ACM SIGPLAN Lisp Pointers
Standard-output: Scheme standardization
ACM SIGPLAN Lisp Pointers
Building abstract iterators using continuations
ACM SIGPLAN Notices
HARE: an optimizing portable compiler for Scheme
ACM SIGPLAN Notices
Fun, rigour and pragmatism in functional programming
ACM SIGCSE Bulletin
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
Concurrent organizational objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Automatic generation of compiled simulations through program specialization
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Computer science in an undergraduate liberal arts and sciences setting
ACM SIGCSE Bulletin
Functional programming is not self-modifying code
ACM SIGPLAN Notices
Interactive modular programming in Scheme
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
A foundation for an efficient multi-threaded scheme system
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Hamming numbers, lazy evaluation, and eager disposal
ACM SIGPLAN Notices
A symbolic simulation model of the organization of human procedural knowledge
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Qualitative simulation: a feedback control system
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
Methods for organizational development
COCS '93 Proceedings of the conference on Organizational computing systems
Using C in CS1: evaluating the Stanford experience
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Constructing natural language interface applications to operating systems
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Scheme as an expository language for liberal arts students
LUV '93 Proceedings of the third international conference on Lisp users and vendors
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGMOD Record
Decompilation: the enumeration of types and grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Teaching computer science principles to liberal arts students using Scheme
ACM SIGCSE Bulletin
Compiler transformations for high-performance computing
ACM Computing Surveys (CSUR)
Programmable applications: interpreter meets interface
ACM SIGCHI Bulletin
APL '95 Proceedings of the international conference on Applied programming languages
Memoization in top-down parsing
Computational Linguistics
Paradigms and laboratories in the core computer science curriculum: an overview
ACM SIGCSE Bulletin
Iteration abstraction in Sather
ACM Transactions on Programming Languages and Systems (TOPLAS)
Portable run-time support for dynamic object-oriented parallel processing
ACM Transactions on Computer Systems (TOCS)
Using object-orientation as a common basis for system development education
ACM SIGPLAN Notices
Bandwagons considered harmful, or the past as prologue in curriculum change
ACM SIGCSE Bulletin
Strategic directions in computer science education
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Using J as expository language in the teaching of computer science to liberal arts students
APL '96 Proceedings of the conference on Designing the future
Mobile objects in distributed Oz
ACM Transactions on Programming Languages and Systems (TOPLAS)
Historical perspectives on the computing curriculum
ACM SIGCUE Outlook - Special issue: ITiCSE '97 working group papers
Distributed development and teaching of algorithmic concepts
ACM SIGGRAPH 98 Conference abstracts and applications
What (else) should CS educators know?
Communications of the ACM
Accelerating multi-media processing by implementing memoing in multiplication and division units
Proceedings of the eighth international conference on Architectural support for programming languages and operating systems
Visualizing Evaluation in Scheme
Lisp and Symbolic Computation
Query by outlines: a new paradigm to help manage programs
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Persistent memory: a storage architecture for object-oriented database systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Design patterns for lazy evaluation
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Comparative study of page-based and segment-based software DSM through compiler optimization
Proceedings of the 14th international conference on Supercomputing
CS1: perspectives on programming languages and the breadth-first approach
CCSC '00 Proceedings of the fifth annual CCSC northeastern conference on The journal of computing in small colleges
Fully automatic assessment of programming exercises
Proceedings of the 6th annual conference on Innovation and technology in computer science education
ACM SIGAPL APL Quote Quad
Revised report on the algorithmic language scheme
ACM SIGPLAN Lisp Pointers
Designing new languages or new language manipulation systems using ML
ACM SIGPLAN Notices
Automatic time-bound analysis for a higher-order language
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Exact tests for two-way symmetriccontingency tables
Statistics and Computing
Automatic Accurate Cost-Bound Analysis for High-Level Languages
IEEE Transactions on Computers
IEEE Transactions on Knowledge and Data Engineering
Demand-Driven Interprocedural Array Property Analysis
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A Modeller's Workbench: Experiments in Object-Oriented Simulation
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Internal Iteration Externalized
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Incremental Inference of Partial Types
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
RoboCup-98: Robot Soccer World Cup II
Exploiting Constraints for Domain Managing in CLP(FD)
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Exploring the Stream Data Type in SISAL and Other Languages
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
An Introduction to Functional Nets
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
StreamIt: A Language for Streaming Applications
CC '02 Proceedings of the 11th International Conference on Compiler Construction
An Extensible Type System for Component-Based Design
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Evaluation of Compiler-Assisted Software DSM Schemes for a Workstation Cluster
IWIA '99 Proceedings of the 1999 International Workshop on Innovative Architecture
Global Analysis and Transformations in Preprocessed Languages
IEEE Transactions on Software Engineering
The risks and benefits of teaching purely functional programming in first year
Journal of Functional Programming
Welcome to the Educational Pearls Column
Journal of Functional Programming
DrScheme: a programming environment for Scheme
Journal of Functional Programming
Compilation and equivalence of imperative objects
Journal of Functional Programming
Journal of Functional Programming
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming
NATURAL EXPERT: a commercial functional programming environment
Journal of Functional Programming
A foundation for actor computation
Journal of Functional Programming
Scheme-based web programming as a basis for a CS0 curriculum
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Techniques for automatic memoization with applications to context-free parsing
Computational Linguistics
TAO: a physical modelling system and related issues
Organised Sound
The Knowledge Engineering Review
Orbit: an optimizing compiler for scheme
ACM SIGPLAN Notices - Best of PLDI 1979-1999
The structure and interpretation of the computer science curriculum
Journal of Functional Programming
Computer literacy via Scheme and web programming
Journal of Functional Programming
Detection of Redundant Code Using R2D2
Software Quality Control
Algorithm 839: FIAT, a new paradigm for computing finite element basis functions
ACM Transactions on Mathematical Software (TOMS)
History of programming languages---II
Journal of Functional Programming
From functional to object-oriented programming: a smooth transition for beginners
Proceedings of the 2005 workshop on Functional and declarative programming in education
Laziness without all the hard work: combining lazy and strict languages for teaching
Proceedings of the 2005 workshop on Functional and declarative programming in education
EDUCATIONAL PEARL: Biological sequence similarity
Journal of Functional Programming
Maintaining legibility, structure, and style of information layout in dynamic display environments
CHI '92 Posters and Short Talks of the 1992 SIGCHI Conference on Human Factors in Computing Systems
A comparative study of state emulation in functional programming languages: student paper
Journal of Computing Sciences in Colleges
EDUCATIONAL PEARL: Automata via macros
Journal of Functional Programming
On the static and dynamic extents of delimited continuations
Science of Computer Programming
Evolving the Artist-Technologist
Computer
The development of Chez Scheme
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
ICLS '96 Proceedings of the 1996 international conference on Learning sciences
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
A new architecture for the implementation of scripting languages
VHLLS'94 Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings
Report on the probabilistic language scheme
Proceedings of the 2007 symposium on Dynamic languages
The scheme of things: streams versus generators
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
Improving the lazy Krivine machine
Higher-Order and Symbolic Computation
A language-driven approach for the design of interactive applications
Interacting with Computers
Web Mining in the EVA Intelligent Agent Architecture
WI-IATW '07 Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops
A survey of literature on the teaching of introductory programming
Working group reports on ITiCSE on Innovation and technology in computer science education
A flexible framework for programming with non-deterministicfunctions
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Building language towers with ziggurat
Journal of Functional Programming
Celebrating the 50th Anniversary of Lisp
A Discretization Process in Accordance with a Qualitative Ordered Output
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
A Process-Model for Linear Programs
Types for Proofs and Programs
Constraint satisfaction with delayed evaluation
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An environment model for the integration of logic and functional programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A minimalist approach to objects
Computer Languages, Systems and Structures
(Re)defining computing curricula by (re)defining computing
ACM SIGCSE Bulletin
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Evolutionary virtual agent at an exhibition
VSMM'07 Proceedings of the 13th international conference on Virtual systems and multimedia
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Constraint application with higher-order programming for modeling music theories
Computer Music Journal
Non-deterministic lisp with dependency-directed backtracking
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
ACM SIGPLAN Lisp Pointers
A certified framework for compiling and executing garbage-collected languages
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Non-deterministic lisp with dependency-directed backtracking
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Consistency-based diagnosis in physiological domains
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Pinocchio: bringing reflection to life with first-class interpreters
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Power-driven flip-flop merging and relocation
Proceedings of the 2011 international symposium on Physical design
Constraint programming systems for modeling music theories and composition
ACM Computing Surveys (CSUR)
Some Philosophical Issues in Computer Science
Minds and Machines
Typed self-interpretation by pattern matching
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Learning recursive functions with object oriented genetic programming
EuroGP'06 Proceedings of the 9th European conference on Genetic Programming
Scheme with classes, mixins, and traits
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Software modeling language with frames and multi-abstractions: an overview
ICAISC'12 Proceedings of the 11th international conference on Artificial Intelligence and Soft Computing - Volume Part II
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Object-oriented programming with gradual abstraction
Proceedings of the 8th symposium on Dynamic languages
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Computer Engineering 2004: Curriculum Guidelines for Undergraduate Degree Programs in Computer Engineering
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Teaching composition quality at scale: human judgment in the age of autograders
Proceedings of the 45th ACM technical symposium on Computer science education
Hi-index | 0.04 |