Beniamino Accattoli

Descubra uma nova forma de melhorar a eficiência da avaliação em cálculo lambda.

Uma visão geral da estratégia externa em programação forte por valor.

Uma olhada em uma abordagem pouco convencional para avaliação de expressões.

Este trabalho analisa a ligação entre a lógica intuicionista mínima e a avaliação call-by-value na programação.