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:
[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.
| λ | This user is fluent in Lambda calculus. |
| CS | This user is a member of WikiProject Computer science. |
| This user considers singular they substandard English usage. |
| This user supports the use of gender-neutral language. |
| infin¦itive | This user chooses to sometimes split infinitives. |
| smlnj | This user programs in Standard ML of New Jersey. |
