Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University  ()

Source URL: repository.readscheme.org

• Functional programming
• Partial evaluation
• Standard ML
• Continuation-passing style
• Pattern matching
• Eval
• Monad
• Scheme
• Currying
• Software engineering
• Declarative programming
• Computing

The Starring Role of Quantifiers in the History of Formal Semantics Barbara H. Partee. Abstract The history of formal semantics is a history of evolving ideas about logical form, linguistic form, and the nature of semant

Source URL: udrive.oit.umass.edu

• Science
• Philosophy of language
• Formal languages
• Quantification
• Grammar
• Intensional logic
• Generalized quantifier
• Mathematical logic
• First-order logic
• Logic
• Semantics
• Linguistics

Linguistics 218: Math Ling II Montague Grammar and Dynamic Semantics Jessica Rett, deets: MW 12-2, Bunche 1265 course description:

Source URL: www.linguistics.ucla.edu

• Grammar
• Science
• Predicate logic
• Quantification
• Discourse representation theory
• Lambda calculus
• Montague grammar
• Intensional logic
• First-order logic
• Semantics
• Logic
• Linguistics

A family of types that fail to be provably collapsible 1st April 2013 This note is an informal proof in MLTT (intensional Martin-L¨of type theory), with a conclusion about MLTT, of material developed formally in Agda no

Source URL: www.cs.bham.ac.uk

Intensional Polymorphism in Type-Erasure Semantics∗ Karl Crary Stephanie Weirich Greg Morrisett

Source URL: www.seas.upenn.edu

• Type theory
• Models of computation
• Program analysis
• Type system
• Lambda calculus
• Curry–Howard correspondence
• Denotational semantics
• Theoretical computer science
• Computer science
• Applied mathematics

Higher-Order Intensional Type Analysis Stephanie Weirich Department of Computer Science, Cornell University Ithaca, NY 14850, USA

Source URL: www.seas.upenn.edu

• Programming language theory
• Software engineering
• Symbol
• Recursive data type
• Constructor
• Turn
• Type system
• Binding
• Ordinal number
• Type theory
• Mathematical logic
• Data types

Encoding Intensional Type Analysis Stephanie Weirich ? Department of Computer Science, Cornell University

Source URL: www.seas.upenn.edu

• Homeric epics
• Ordinal number
• Symbol
• Greek alphabet

Alleged Assassins Bjørn Jespersen & Giuseppe Primiero Department of Computer Science, Technical University of Ostrava & Department of Logic, Czech Academy of Sciences, Prague FWO & Centre for Logic and Philosophy of Sci

Source URL: logica.ugent.be

• Modal logic
• Non-classical logic
• Transparent Intensional Logic
• Intensional logic
• Logic
• Philosophical logic
• Science

Intensional Polymorphism in Type-Erasure Semantics Karl Crary Stephanie Weirich Greg Morrisett

Source URL: www.cs.cornell.edu

• Type theory
• Models of computation
• Program analysis
• Type system
• Lambda calculus
• Curry–Howard correspondence
• Denotational semantics
• Theoretical computer science
• Mathematical logic
• Computer science

CHAPTER 1 Montague Grammar Barbara H. Partee University of Massachusetts, Department of Linguistics, Amherst, MA 01003, USA E-mail: [removed]

Source URL: udrive.oit.umass.edu

• Science
• Philosophy of language
• Grammar
• Philosophical logic
• Formal languages
• Montague grammar
• Intensional logic
• Formal semantics
• Richard Montague
• Logic
• Linguistics
• Semantics