Perguntas com a marcação «scheme»

Em [1], Mitchell Wand demonstrado que a adição de FEXPRs para o cálculo lambda puro trivializes a teoria de equivalência contextual, o que significa que dois termos são contextualmente equivalente sse eles são -congruent. Ao explorar o trabalho relacionado, ele foi "o nosso resultado estende uma velha observação de Albert …

13 pl.programming-languages  lisp  scheme 

A página "Esquema avançado: alguns bits impertinentes" declara: As continuações são uma poderosa construção de fluxo de controle a partir da qual quase qualquer outra estrutura de fluxo de controle [...] pode ser derivada. Eu pensei que o esquema call/cc, estando relacionado (*) ao operador J de Peter Landin, pudesse …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics