HAL representations