Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock () or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Parametric and Logical Types for Programming and Architecture

Below is this Tech Talk’s Objective. All are welcome, but it is a more Technical topic than most Tech Talks

Milner’s slogan “Well typed programs can’t go wrong” characterizes type-safe computation

Strongly typed languages with static type checking allow both parametric polymorphism and lifting their logic to the type system. This constructive logic is sound and complete. UML templates allow us to represent such type-safe computation in a technical architecture.

Rick will introduce parametric and logical types for programming and architecture with examples from both Java Generics and UML templates. Participants are encouraged to read Rick’s paper “Parametric and Logical Types for Model-Driven Engineering” before the talk.

We will discuss the results of industrial research on static type systems used by Facebook (Flow) and Microsoft (TypeScript) with JavaScript. We will identify adoption risk of weakly and dynamically typed languages such as Perl, PHP and Python.

Paper: Parametric and Logical Types for Model-Driven Engineering / Office of the CTO

An official website of the U.S. General Services Administration

Looking for U.S. government information and services?