Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
lambda-abstractions
Você quiz dizer: lambda abstraction
Exemplos para "lambda-abstractions"
After that, we detail the translation into the proof language COQ, the late binding being translated by lambda-abstractions.
Puis nous détaillons la traduction dans le langage de preuves COQ, la liaison retardée étant traduite par des lambda-abstractions.
All expressionsof System~{F} can be mechanically encoded into {MLF} by dropping all type abstractions and type applications, and injecting types of lambda-abstractions into {MLF} types.
Les expressions du Système {F} sont encodées de manière systématique dans {MLF} en supprimant les abstractions et les applications de types, et en traduisant les annotations de types dans le langage de types de {MLF}.
Outros resultados
We can view ce'u as a free variable, which then becomes bound by a lambda abstraction, namely ka.
Nous pouvons voir ce'u comme une variable libre, qui devient alors lié par une lambda-abstraction, à savoir ka.
Sinônimos e analogias para "lambda-abstractions" em inglês
Palavra e Expressão do Dia
Imagem do dia
Resultados: 3. Exatos: 2. Tempo de resposta: 66 ms.
