Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Source URL: adam.chlipala.net

• Computer programming
• Declarative programming
• Software engineering
• Exponentials
• Dependently typed programming
• Higher-order abstract syntax
• Logic programming
• Programming language theory
• Type theory
• Exponentiation
• Monad
• ?:

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: www.cl.cam.ac.uk

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: isabelle.in.tum.de

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Source URL: mirror.clarkson.edu

UBL 2.1 Abstract Syntax Notation 1 (ASN.1) Alternative Representation Version 1.0 Committee NoteOctober 2013 Specification URIs

Source URL: docs.oasis-open.org

Determinate Imperative Programming Determinate Imperative Programming A clocked interpretation of imperative syntax (Extended Abstract) Vijay Saraswat

Source URL: www.saraswat.org

Children’s Attitude Problems: Bootstrapping Verb Meaning from Syntax and Pragmatics* Valentine Hacquard and Jeffrey Lidz University of Maryland Abstract How do children learn the meanings of propositional attitude verb

Source URL: ling.umd.edu

Structure of Abstract Syntax trees for Colored Nets in PNML F. Kordon & L. Petrucci version 0.2 (draft)

Source URL: www.mefosyloma.fr

How to Write Seemingly Unhygienic and Referentially Opaque Macros with Syntax-rules ∗ Oleg Kiselyov ()† Abstract. This paper details how folklore notions of hygiene and referential transparency of R5RS

Source URL: okmij.org

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Source URL: www.barzilay.org

• Mathematics
• Logic
• Computer programming
• Automated theorem proving
• Logic programming
• Mathematical logic
• Term
• Substitution
• Principia Mathematica
• Free variables and bound variables
• Monad