PCLOS: stress testing CLOS experiencing the metaobject protocol
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Painting multiple views of complex objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A dynamic extent control operator for partial continuations
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic transformation of series expressions into loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
P3D: a Lisp-based format for representing general 3D models
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
CLOS: integrating object-oriented and functional programming
Communications of the ACM - Special issue on LISP
Communications of the ACM - Special issue on LISP
Real-time programming in Common Lisp
Communications of the ACM - Special issue on LISP
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
Developing a GUIDE using object-oriented programming
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
AN SQL interface for Common Lisp
ACM SIGPLAN Lisp Pointers
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
CAKE: an implemented hybrid knowledge representation and limited reasoning system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Direct end-user access to remote information
COCS '91 Proceedings of the conference on Organizational computing systems
Aquanet: a hypertext tool to hold your knowledge in place
HYPERTEXT '91 Proceedings of the third annual ACM conference on Hypertext
CLOStrophobia: its etiology and treatment
ACM SIGPLAN OOPS Messenger
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Supporting Software Designers with Integrated Domain-Oriented Design Environments
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Just-in-time initialization of objects representing software processes
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Using Agentsheets to create a voice dialog design environment
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Palette: an extensible visual editor
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Communications of the ACM - Special issue on LISP
Extending CLOS towards logic programming: a proposal
ACM SIGPLAN OOPS Messenger
Less complex elementary functions
ACM SIGPLAN Notices
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
WCL: Delivering efficient Common Lisp applications under Unix
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Tachyon Common Lisp: an efficient and portable implementation of CLtL2
LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
The information grid: a framework for information retrieval and retrieval-centered applications
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
TelePICTIVE: computer-supported collaborative GUI design for designers with diverse expertise
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
Progress in building user interface toolkits: the world according to XIT
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
ICSE '92 Proceedings of the 14th international conference on Software engineering
Computational mail as network infrastructure for computer-supported cooperative work
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
The CTalk programming language: a strategic evolution of APL
APL '92 Proceedings of the international conference on APL
A practical approach to multiple default inheritance for unification-based lexicons
Computational Linguistics - Special issue on inheritance: II
The Boyer Benchmark at warp speed
ACM SIGPLAN Lisp Pointers
The Gabriel “Triangle” Benchmark at warp speed
ACM SIGPLAN Lisp Pointers
ACM SIGPLAN Lisp Pointers
dpANS Common Lisp: don't judge a spec by its cover!
ACM SIGPLAN Lisp Pointers
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
The role of another spatial dimension in software visualization
ACM Transactions on Information Systems (TOIS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Teaching object-oriented programming or using the object model to teach software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Quasi-static scoping: sharing variable bindings across multiple lexical scopes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A feature definition language for bridging solids and features
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Sound rules for parallel evaluation of a functional language callcc
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Iterators: signs of weakness in object-oriented languages
ACM SIGPLAN OOPS Messenger
Complex Gaussian integers for “Gaussian graphics”
ACM SIGPLAN Notices
Tools for the development of application-specific virtual memory management
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Direct update of data flow representations for a meaning-preserving program restructuring tool
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The Rendezvous constraint maintenance system
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Teaching AI: a breadth-first approach
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Compiling nested data-parallel programs for shared-memory multiprocessors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Building interpreters by composing monads
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Rendezvous architecture and language for constructing multiuser applications
ACM Transactions on Computer-Human Interaction (TOCHI)
The Boyer benchmark meets linear logic
ACM SIGPLAN Lisp Pointers
Locality, causality and continuations
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Syntax and semantics of a persistent Common Lisp
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Towards better inlining decisions using inlining trials
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Assets '94 Proceedings of the first annual ACM conference on Assistive technologies
Typechecking and modules for multi-methods
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Proposal for a monotonic multiple inheritance linearization
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Computational situation theory
ACM SIGART Bulletin
Towards an OMG IDL mapping for Common Lisp
ACM SIGPLAN Lisp Pointers
The Tecate data space exploration utility
I3D '95 Proceedings of the 1995 symposium on Interactive 3D graphics
Fast floating-point processing in Common Lisp
ACM Transactions on Mathematical Software (TOMS)
Efficient implementation of adaptive software
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimization of functional programs by grammar thinning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Teaching introductory AI from first principles
ACM SIGART Bulletin
Fractal views: a fractal-based method for controlling information display
ACM Transactions on Information Systems (TOIS)
Numerical analysis using nonprocedural paradigms
ACM Transactions on Mathematical Software (TOMS)
Tailoring OO analysis and design methods (panel)
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
A reflective model for first class dependencies
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Typechecking and modules for multimethods
ACM Transactions on Programming Languages and Systems (TOPLAS)
Searching techniques for integral tables
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Evaluation of the heuristic polynomial GCD
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Iteration abstraction in Sather
ACM Transactions on Programming Languages and Systems (TOPLAS)
Simple objects for Standard ML
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
First-class synchronization barriers
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Evaluating The Mediator Method: Prism as a Case Study
IEEE Transactions on Software Engineering
A monotonic superclass linearization for Dylan
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
CANLOGS: a logic gate simulator for all seasons
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Programming on an already full brain
Communications of the ACM
Open implementation design guidelines
ICSE '97 Proceedings of the 19th international conference on Software engineering
Patching onto the Web: Common LISP hypermedia for the intranet
Communications of the ACM
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
Visual modeling of DEVS-based multiformalism systems based on higraphs
WSC '93 Proceedings of the 25th conference on Winter simulation
Generalized behavior-based retrieval
ICSE '93 Proceedings of the 15th international conference on Software Engineering
UCL+P—Defining and Implementing Persistent Common Lisp
Lisp and Symbolic Computation
Adding Support for Persistence to CLOS via Its Metaobject Protocol
Lisp and Symbolic Computation
Implementing bit-addressing with specialization
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Parasitic methods: an implementation of multi-methods for Java
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Simulation of multiple time-pressured agents
Proceedings of the 29th conference on Winter simulation
An evaluation of automatic object inline allocation techniques
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multiple dispatch as dispatch on Tuples
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Partial evaluation for media processing
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Modular object-oriented programming with units and mixins
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Reusable Ada libraries supporting infinite data structures
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Object-oriented and concurrent program design issues in Ada 95
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
A Mechanically Checked Proof of the AMD5K86TM Floating-Point Division Program
IEEE Transactions on Computers
Extending common LISP object system for discrete event modeling and simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View
Formal Methods in System Design
C and tcc: a language and compiler for dynamic code generation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Expansion-passing style: beyond conventional macros
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Efficient multiple and predicated dispatching
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MultiJava: modular open classes and symmetric multiple dispatch for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Point of view: Lisp as an alternative to Java
intelligence
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Hierarchical agent control: a framework for defining agent behavior
Proceedings of the fifth international conference on Autonomous agents
Formal Analysis of a Space-Craft Controller Using SPIN
IEEE Transactions on Software Engineering
Modular verification of collaboration-based software designs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Introduction to the GiNaC framework for symbolic computation within the C++ programming language
Journal of Symbolic Computation
Incremental programming with extensible decisions
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Runtime aspect weaving through metaprogramming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Maya: multiple-dispatch syntax extension in Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a mechanically checked theory of computation: the ACL2 project
Logic-based artificial intelligence
Proceedings of the 24th International Conference on Software Engineering
Composable and compilable macros:: you want it when?
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Applying AI to Software Renovation
Automated Software Engineering
Journal of Automated Reasoning
A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode
Formal Methods in System Design
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
You could learn a lot from a quadratic: overloading considered harmful
ACM SIGPLAN Notices
Landscape Visualization with Emaps
IEEE Computer Graphics and Applications
Comments on "Language Design for Program Manipulation"
IEEE Transactions on Software Engineering
Reflections on Metaprogramming
IEEE Transactions on Software Engineering
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
An Empirical Analysis of C Preprocessor Use
IEEE Transactions on Software Engineering
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
The Case for Java as a Programming Language
IEEE Internet Computing
Proceedings of the 2nd international conference on Aspect-oriented software development
From Macros to Reusable Generative Programming
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
A formal model of the java multi-threading system and its validation on a known problem
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Single-Threaded Objects in ACL2
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Proving Theorems About Java-Like Byte Code
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Designing an Extensible Distributed Language with a Meta-Level Architecture
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
An Object-Oriented Framework for the Formal Verification of Processors
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
CCC: User-Defined Object Structure in C
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Difference-Based Modules: A Class-Independent Module Mechanism
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Unified Long-Term Memory System
ICCBR '99 Proceedings of the Third International Conference on Case-Based Reasoning and Development
Compositional Proofs for Concurrent Objects
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Hidden Specification of a Functional System
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
OpenJava: A Class-Based Macro System for Java
Proceedings of the 1st OOPSLA Workshop on Reflection and Software Engineering: Reflection and Software Engineering, Papers from OORaSE 1999
An Embedded Error Recovery and Debugging Mechanism for Scripting Language Extensions
Proceedings of the General Track: 2002 USENIX Annual Technical Conference
Rewriting for Symbolic Execution of State Machine Models
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Ontological Design Patterns: Metadata of Molecular Biological Ontologies, Information and Knowledge
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Journal of Computing Sciences in Colleges
CodeBricks: code fragments as building blocks
Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Supporting High Level Programming with High Performance: The Illinois Concert System
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
Behavioral Subtyping and Behavioral Enrichment of Multimethods
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
The description logic handbook
Dynamically scoped functions as the essence of AOP
ACM SIGPLAN Notices
Relaxed MultiJava: balancing extensibility and modular typechecking
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Accessee controlled type selection for a multiple-type object
Proceedings of the 2003 ACM symposium on Applied computing
A declarative implementation of the DICOM-3 network protocol
Journal of Biomedical Informatics
Proceedings of the 2004 ACM symposium on Applied computing
A practical part-of-speech tagger
ANLC '92 Proceedings of the third conference on Applied natural language processing
XTAG: a graphical workbench for developing tree-adjoining grammars
ANLC '92 Proceedings of the third conference on Applied natural language processing
Babel: a testbed for research in origins of language
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Accumulation of lexical sets: acquisition of dictionary resources and production of new lexical sets
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
Multiple default inheritance in a unification-based lexicon
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
A Dutch to SQL database interface using generalized quantifier theory
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 2
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
A semantics for advice and dynamic join points in aspect-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Erlang's exception handling revisited
ERLANG '04 Proceedings of the 2004 ACM SIGPLAN workshop on Erlang
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ACM SIGPLAN Notices
A comprehensive approach for the development of modular software architecture description languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Information hiding interfaces for aspect-oriented design
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
The anatomy of a loop: a story of scope and control
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
A polymorphic modal type system for lisp-like multi-staged languages
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MultiJava: Design rationale, compiler implementation, and applications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Attribute grammars and the teaching of compiler design and implementation
Journal of Computing Sciences in Colleges
Adding parallelism capabilities to ACL2
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Expressive programs through presentation extension
Proceedings of the 6th international conference on Aspect-oriented software development
From Time to Time: The Representation of Timing and Tempo
Computer Music Journal
Kawa: compiling dynamic languages to the Java VM
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Handling of Complex Numbers in the $C^H$ Programming Language
Scientific Programming
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
Domain-specific languages and program generation with meta-AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Celebrating the 50th Anniversary of Lisp
Implicit First Class Genericity
SC '09 Proceedings of the 8th International Conference on Software Composition
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
JavaGI in the battlefield: practical experience with generalized interfaces
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Abbreviated output for input in ACL2: an implementation case study
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
CZ: multiple inheritance without diamonds
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Empirical assessment of object-oriented implementations with multiple inheritance and static typing
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments
Electronic Notes in Theoretical Computer Science (ENTCS)
Retransmission strategies for cyclic polling over wireless channels in the presence of interference
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Science of Computer Programming
Algorithms for traversal-based generic programming
Proceedings of the 6th ACM SIGPLAN workshop on Generic programming
Incremental type-checking for type-reflective metaprograms
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Registration-based language abstractions
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Validating low-level instructions for fixnums using BDDs
Proceedings of the 2010 international conference on Lisp
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
MIDI programming in scheme: supported by an Emacs environment
Proceedings of the 7th European Lisp Workshop
Understanding the impact of collection contracts on design
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Event-specific software composition in context-oriented programming
SC'10 Proceedings of the 9th international conference on Software composition
Predicated generic functions: enabling context-dependent method dispatch
SC'10 Proceedings of the 9th international conference on Software composition
Static analysis of multi-staged programs via unstaging translation
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An implementation of a hygienic syntactic macro system for JavaScript: a preliminary report
Workshop on Self-Sustaining Systems
Metamodeling semantics of multiple inheritance
Science of Computer Programming
Semantic web reasoners and languages
Artificial Intelligence Review
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Nested Lambda Expressions with Let Expressions in C++ Template Metaprograms
Electronic Notes in Theoretical Computer Science (ENTCS)
Implicit and dynamic parameters in c++
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
Efficient layer activation for switching context-dependent behavior
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A compressed format for collections of phylogenetic trees and improved consensus performance
WABI'05 Proceedings of the 5th International conference on Algorithms in Bioinformatics
Formalization of the DE2 language
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
SC'05 Proceedings of the 4th international conference on Software Composition
Unify and merge in fluid construction grammar
EELC'06 Proceedings of the Third international conference on Emergence and Evolution of Linguistic Communication: symbol Grounding and Beyond
Refinement and theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
GLoo: a framework for modeling and reasoning about component-oriented language abstractions
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Type and effect system for multi-staged exceptions
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
Using metadata transformations to integrate class extensions in an existing class hierarchy
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Evaluating the design of the R language: objects and functions for data analysis
ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming
Polymorphic identifiers: uniform resource access in objective-smalltalk
Proceedings of the 9th symposium on Dynamic languages
Runtime support for type-safe and context-based behavior adaptation
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.03 |