Haskell's overlooked object system

Heap Reference Analysis for Functional Programs

Heap Reference Analysis Using Access Graphs

High-Level Multi-Threading in hProlog

High-Level Networking With Mobile Code And First Order AND-Continuations

Higher-Order Concurrent Win32 Programming

Higher-Order Symbolic Execution via Contracts

HMC: Verifying Functional Programs Using Abstract Interpreters

How applicable is Python as first computer language for teaching programming in a pre-university educational environment, from a teacher's point of view?

How to be correct, lazy and efficient ?

Hybrid Calculus of Wrapped Compartments

Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration

HyperPro An integrated documentation environment for CLP

Idempotent I/O for safe time travel

Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07

Implementing Continuation based language in GCC

Implementing Equational Constraints in a Functional Language

Implementing Explicit and Finding Implicit Sharing in Embedded DSLs

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Improved Inference for Checking Annotations