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
The parallel implementation of the Astrée static analyzer
The pitfalls of verifying floating-point computations
The RDF Virtual Machine
The Relationship Between Separation Logic and Implicit Dynamic Frames
The Safe Lambda Calculus
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
The Sketch of a Polymorphic Symphony
The SL synchronous language, revisited