Extending Dylan's type system for better type inference and error detection

Keyphrases

• Type Systems 100%
• Type Inference 100%
• Inference Detection 100%
• Error Detection 100%
• Type Errors 100%
• Gradual Typing 100%
• Arity 33%
• Rapid Prototyping 33%
• Inference Algorithms 33%
• FAST Code 33%
• Compile-time Optimization 33%
• Multiple Dispatch 33%
• Compiler 33%
• Lines of Code 33%
• Standard Library 33%
• Dynamic Typing 33%
• Dynamically Typed Languages 33%
• Parametric Polymorphism 33%
• Static Typing 33%
• Function Type 33%
• Generic Function 33%
• Multiple Return 33%
• Return Value 33%

Computer Science

• Type Systems 100%
• Error Detection 100%
• Type Inference 100%
• Parametric Polymorphism 50%
• Dynamically Typed Language 50%
• Standard Library 50%
• Return Value 50%
• Generic Function 50%
• Case Study 50%
• Dynamic Typing 50%
• Rapid Prototyping 50%
• Lines of Code 50%