Checking Dependent Types Using Compiled Code

Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has drawbacks. We show, how at this stage compiled code can be used for a language with lazy evaluation.

• Type: Conference
• Year: 2007
• Where: IFL
• Authors: Dirk Kleeblatt
• Keywords: IFL 2007, Natural Language Processing, Type Checkers, Type Checking, User Defined Functions