The MFPS XXVI will take place on the campus of the University of Ottawa, Canada from May 6 – 10, 2010. The topics are: biocomputation; concurrent and distributed computation; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; logic; probabilistic systems; process calculi; programming-language theory; quantum computation; security; topological [...]
Archive for the ‘Type *’ Category
Mathematical Foundations of Programming Semantics XXVI
Posted in Computer Science, Type *, tagged Categorical Models, Formal Methods, MFPS XXVI, Ottawa, Type Systems, Type Theory on April 20, 2010 | Leave a Comment »
Type System Dictionary Terms
Posted in Computer Science, Type *, tagged Cardelli, Type Systems on February 24, 2010 | Leave a Comment »
I will present a serie of terms related with Type Systems that Luca Cardelli defines in Type Systems. This is helpful to my knowledge since it also consolodites my knowledge. The goal is to extend this definitions with others from other authors to analyse how term definitions vary from scientist to scientist.
Type Systems – Genesis
Posted in Computer Science, Type *, tagged Cardelli, Pierce, Type Systems, Types and Programming Languages on February 24, 2010 | Leave a Comment »
It turns out that a fair amount of careful analysis is required to avoid false and embarrassing claims of type soundness for programming languages. As a consequence, the classification, description, and study of type systems has emerged as a formal discipline. — Luca Cardelli (1996)
