Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Practical Foundations for Programming Languages 1.19

Practical Foundations for Programming Languages 1.19

Robert Harper
0 / 0
0 comments
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Категорії:
Computers - Programming
Рік:
2011
Видання:
1.19 October 2011
Видавництво:
Robert Harper
Мова:
english
Сторінки:
590
ISBN 10:
1581137567
ISBN 13:
9781581137569
Файл:
PDF, 1.67 MB
IPFS:
CID , CID Blake2b
english, 2011
Читати Онлайн
  • pdf 1.67 MB Current page
  • Checking other formats...
  • Конвертований файл может відрізнятись від оригіналу. По можливості краще завантажувати файл в форматі оригіналу
Виконується конвертація в
Конвертація в не вдалась

Ключові фрази

 
ersion
evised
raft
function
dynamics
defined
τ2
τ1
judgement
induction
values
theorem
argument
variables
statics
syntax
consider
lemma
forms
recursive
abstract
dynamic
computation
signature
e10
substitution
exp
module
define
t.τ
typing
binding
inductive
zero
constructor
event
functions
σ0
context
command
transition
finite
judgements
safety
κ1
succ
method
static
structural
reference
assignable
implementation
κ2
itself
required
φ1
equivalent
programming
exists
abstraction