поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Basic Polymorphic Typechecking
Cardelli L.
typeexp
env
decl
variables
generic
typechecking
exp
bool
polymorphic
polymorphism
algorithm
inference
nongenericvars
function
import
identifiers
implicit
milner
typelist
formal
succ
explicit
newtypevar
programs
typevar
assumptions
typeexp1
typeexp2
args
boolean
rec
spec
systems
analyzeexp
extend
programming
typemod
declarations
module
typing
unifytype
binder
constraints
copyenv
instantiated
prune
symbolmod
context
implementation
occurrences
Язык:
english
Файл:
PDF, 85 KB
Ваши теги:
0
/
0
english
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×