The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines
The C Object System: Using C as a High-Level Object-Oriented Language
The C++0x "Concepts" Effort
The Call-by-need Lambda Calculus, Revisited
The Challenges of Hardware Synthesis from C-Like Languages
The Chameleon Type Debugger (Tool Demonstration)
The Complexity of Coverage
The Concurrent Language Aldwych
The Design and Implementation of Typed Scheme: From Scripts to Programs
The Design of a COM-Oriented Module System
The Design of GP 2
The Green Bank Telescope: User Interfaces
The interactive astronomical data analysis facility - image enhancement techniques to Comet Halley
The Language Features and Architecture of B-Prolog
The Light Lexicographic path Ordering
The Logic Programming Paradigm and Prolog
The Mob core language and abstract machine (rev 0.2)
The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY
The Octagon Abstract Domain
The OPAL programming system for analytical theories in celestial mechanics