Course talk:CPSC312-2017-Mini-ML

From UBC Wiki
Jump to: navigation, search


Thread titleRepliesLast modified
Nice proposal000:06, 15 October 2017

Nice proposal

Your topic sounds very interesting. Be sure to start with a small subset of ML. Focus on the HM type system. Implement the dynamic semantics only if time permits.

Rge (talk)00:06, 15 October 2017