Uma coleção de itens em que apenas os primeiros adicionado item pode ser acessada. Basic operações são adicionar (a cauda) ou enqueue e excluir (de cabeça) ou remover da fila. Delete retorna o item removido. Também conhecido como "first in, First-out" ou FIFO. Definição formal: é conveniente definir excluir ou remover da fila em termos de remover e uma nova operação, a frente. As operações New (), adicionar (v, Q), front(Q) e remove(Q) podem ser definido com a semântica axiomática como segue.

1. New () retorna uma fila
2. frente (adicionar (v, new())) = v
3. remover (adicionar (v, new())) = New ()
4. frente (adicionar (v, adicionar (w, Q))) = frente (adicionar (w, Q))
5. remover (adicionar (v, adicionar (w, Q))) = adicionar (v, remover (adicionar (w, Q)))