Alice extiende Standard ML con primitivas para evaluación perezosa y concurrencia.