Back to Results
First PageMeta Content
Computer science / Formal methods / Type systems / Algorithms / Hindley–Milner / Unification / Lambda calculus / Natural deduction / Heat equation / Theoretical computer science / Applied mathematics / Type theory


Open Document

Share Result on Facebook

City

Edinburgh / Darnas* / /

Company

Russell / I- If S A / /

Currency

USD / /

Facility

University Introduction This / /

IndustryTerm

easy algorithm / /

Organization

Instituto National de Investigacao Permksion / Cornell / Association for Computing Machinery / /

Person

Combinatory / /

Position

author / assignment programmer / /

ProgrammingLanguage

Ada / ML / ALGOL 68 / /

ProvinceOrState

New Foundland and Labrador / /

Technology

A. occurring Algorithm / left algorithm / easy algorithm / /

SocialTag