TWiki . Dev . CompilerTerminology ( vs. r1.1)

<<O>> Difference Topic CompilerTerminology (r1.1 - 17 Nov 2004 - ArjanB)

Added:

>
>

%META:TOPICINFO{author="ArjanB" date="1100718909" format="1.0" version="1.1"}% %META:TOPICPARENT{name="NiceCompiler"}% Terms that may need explanation related to compilers and typesystems or terms that have specific meaning for Nice.

General

arity
closure
formalparameter

Types

monotype
typevariable
polytype
typeconstructor
constraint
covariant
contravariant
variance
kind

Code generation

target
attribute
constantpool
quoteExp
beginExp
lambdaExp

Nice specific

alike
specialization
pattern
alternative

-- ArjanB - 17 Nov 2004

Topic CompilerTerminology . { View | Diffs | r1.1 | More }

Revision -
Revision r1.1 - 17 Nov 2004 - 19:15 GMT - ArjanB

	TWiki > Dev > CompilerTerminology ( vs. r1.1)	TWiki webs: Dev \| Doc \| Main \| TWiki \| Sandbox
	Dev . { Changes \| Index \| Search \| Go }