Английская Википедия:Call-by-push-value: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

14 февраля 2024

  • текущ.пред. 04:5104:51, 14 февраля 2024EducationBot обсуждение вклад 2322 байта +2322 Новая страница: «{{Английская Википедия/Панель перехода}} {{technical|date=December 2014}} In programming language theory, the '''call-by-push-value''' ('''CBPV''') paradigm,<ref>{{cite journal|url=https://www.cs.bham.ac.uk/~pbl/papers/tlca99.pdf|title=Call-by-Push-Value: A Subsuming Paradigm|author=Paul Blain Levy}}</ref> inspired by monads, allows writing semantics for Lambda calculus|lambda-calculu...»