CMSC 336: Type Systems for Programming Languages Lecture 12: Equational Reasoning, Parametricity Acar & Ahmed 26 February 2008

Source URL: ttic.uchicago.edu

A. Proofs For simplicity, we only consider the unary and binary unlifting functions.

Source URL: www2.sf.ecei.tohoku.ac.jp

• Parametricity
• Polymorphism
• Type theory
• Ring
• KnuthBendix completion algorithm

UNIVERSITY OF SUSSEX COMPUTER SCIENCE Parametricity as Isomorphism Edmund Robinson

Source URL: www.margaretmorgan.com

CMSC 336: Type Systems for Programming Languages Lecture 13,14: Parametricity & Representation Independence Acar & Ahmed 28 Feb and 4 Mar 2008

Source URL: ttic.uchicago.edu

Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA

Source URL: www.ccs.neu.edu

• Models of computation
• Type theory
• Formal methods
• Theory of computation
• Equivalence relation
• Monad
• Denotational semantics
• Parametricity
• Simply typed lambda calculus
• Modal logic
• Lambda calculus

Relational Parametricity for Computational Effects Rasmus Ejlers Møgelberg∗ Alex Simpson† LFCS, School of Informatics University of Edinburgh, Scotland, UK Abstract

Source URL: www.itu.dk

Under consideration for publication in Math. Struct. in Comp. Science Categorical Models for Abadi-Plotkin’s Logic for Parametricity L A R S B I R K E D A L1† and R A S M U S E. M Ø G E L B E R G2 1

Source URL: www.itu.dk

Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of

Source URL: publications.lib.chalmers.se

• Software engineering
• Declarative programming
• Mathematics
• Type theory
• Functional programming
• Functions and mappings
• Polymorphism
• Computability theory
• Parametricity
• Auxiliary function
• Currying
• Functor

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Relational Parametricity for Control Considered as a Computational Effect

Source URL: www.itu.dk

Relational Parametricity and Control (Extended Abstract) Masahito Hasegawa Research Institute for Mathematical Sciences, Kyoto University and PRESTO, Japan Science and Technology Agency

Source URL: www.kurims.kyoto-u.ac.jp