Index

abstract syntax

2.2 Abstract Syntax, 3 Tutorial

AS Centaur environment

4.2 The AS Centaur-Environment

atomic;tex2html_html_special_mark_quot;operator

5.4.1

binder

3.5 Binders, 5.4.4

binding

2.5 Second-Order Abstract Syntax

CLF

2.1 The Computer Languages

comment

5.1.3

compiler

4.2.1

Computer Languages Factory

2.1 The Computer Languages

effectiveness

5.9 Effectiveness

empty line

5.1.4

environment

3.6 Formalism Inclusion

example

3.1 Starting with an

expression

3.2 Expressions

fixed arity operator

5.4.2

formalism

3.1 Starting with an , 5.2 Names

formalism extension

2.4 Modularity, 3.7 Formalism Extension

formalism inclusion

2.4 Modularity, 3.6 Formalism Inclusion, 5.3 Typed Names

formalism loading

4.2.3 , 4.2.3

formalism reloading

4.2.4

formalism restriction

3.7 Formalism Extension

help

4.2.2

higher-order abstract syntax

2.5 Second-Order Abstract Syntax

identifier

5.1.2

integer

5.4.1

keywords

5.1.1

list

3 Tutorial, 3.4 Lists

list operator

5.4.3

meta

5.2 Names

modularity

2.4 Modularity, 3.7 Formalism Extension, 5.3 Typed Names

name

5.2 Names

operator

2.2 Abstract Syntax, 3 Tutorial, 3.1 Starting with an , 5.2 Names

phylum

2.2 Abstract Syntax, 3 Tutorial, 3.1 Starting with an , 5.2 Names, 5.5 Definition of Phyla

predefined type

5.6 Predefined Types

resource

4.2.3

second-order abstract syntax

2.5 Second-Order Abstract Syntax, 3 Tutorial, 3.5 Binders

second-order abstract;tex2html_html_special_mark_quot;syntax

2.5 Second-Order Abstract Syntax

second-order;tex2html_html_special_mark_quot;operator

5.4.4

sharp

5.1.1

statement

3.3 Statements

string

5.4.1

tree

5.4.1

type inclusion

2.2 Abstract Syntax, 3 Tutorial, 3.6 Formalism Inclusion, 5.5.1

type-checker

4.2.1

typed names

5.3 Typed Names

union of phyla

5.5.2