Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Programming language theory 10 found (116 total)

alternate case: programming language theory

Shriram Krishnamurthi (340 words) [view diff] exact match in snippet view article find links to article

describes Krishnamurthi as "a prolific researcher who brings programming language theory to bear in many other disciplines, thus exposing its foundational
Types and Programming Languages (184 words) [view diff] exact match in snippet view article find links to article
the most widely cited and influential texts in the field of programming language theory. It is frequently used as a graduate-level textbook in computer
Kenneth E. Iverson (6,556 words) [view diff] exact match in snippet view article find links to article
implementation of interactive systems, to educational uses of APL, and to programming language theory and practice". Ken Iverson was born on 17 December 1920 near
Choreographic programming (1,546 words) [view diff] exact match in snippet view article find links to article
verified compiler to CakeML. Pirouette. A mechanised choreographic programming language theory with higher-order procedures. Security protocol notation Sequence
Programming Language Design and Implementation (conference) (1,315 words) [view diff] exact match in snippet view article
ACM annual conference series on programming language theory
Dana Scott (1,335 words) [view diff] case mismatch in snippet view article find links to article
(1977). Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press. ISBN 0-262-19147-4 Official website DOMAIN 2002 Workshop
Randall Hyde (622 words) [view diff] exact match in snippet view article find links to article
programming (beginning and advanced), software design, compilers, and programming language theory. He was founder and president of Lazer Microsystems, which wrote
Turing Award (3,581 words) [view diff] exact match in snippet view article find links to article
implementation of interactive systems, to educational uses of APL, and to programming language theory and practice" IBM 1980 Tony Hoare "For his fundamental contributions
Swift (programming language) (7,993 words) [view diff] no match in snippet view article
is a general purpose programming language that employs modern programming-language theory concepts and strives to present a simple, yet powerful syntax
ArkTS (1,794 words) [view diff] no match in snippet view article find links to article
is a general purpose programming language that employs modern programming-language theory concepts and strives to present a simple, yet powerful syntax