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