User:Cjoev

From Wikipedia, the free encyclopedia

Hello, I am cjoev.

I teach computer science at the California Institute of Technology in Pasadena, California, and hold a Ph.D. in computer science from Carnegie Mellon University in Pittsburgh, PA, USA. My area of specialization is programming languages, including type theory and (to a limited extent) semantics. My fellow students at CMU include User:Brighterorange, User:William Lovas and User:Kaustuv.

I contribute to Wikipedia articles on topics related to programming languages. Entries I have influenced so far include:

• subtype and derived type
• Polymorphism (computer science)
• Type class
• Type safety

[edit] Things that are Wrong with Wikipedia's Coverage of Programming Languages

• Nominative type system and structural type system have got to go, or be rewritten. The "nominative/structural" column of Template:Type system cross reference list has got to go.
• Template:type system cross reference list has got to go.
• Duck typing needs a rewrite.
• operational semantics needs examples.
• System F needs typing rules.
• Standard ML needs to talk about modules, and in particular it needs to talk about functors so that Generic programming can meaningfully link to it.
• Type system needs cleanup. Specifically, the sections on "Static and dynamic typing", "Nominative and structural type systems" and "safely and unsafely typed systems" need to be replaced with some different organization.

---