/explore
|
You are here 
|
boris.kourtoukov.com | ||
| | | | |
blogs.whitman.edu
|
|
| | | | | I am thrilled to introduce our newest tenure-track faculty member, Jordan Wirfs-Brock, joining us in January 2023. Her tentative teaching assignments for the spring semester are CS/Math 215, Introd | |
| | | | |
www.game.edu.mt
|
|
| | | | | The Institute of Digital Games is the centre for research and education in game design, game analysis, and game technology at the University of Malta. | |
| | | | |
icfp19.sigplan.org
|
|
| | | | | ML is a large family of programming languages that includes Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed, with algebraic and other data types. Their type systems inherit from Hindley-Milner. The development of these languages has inspired a large amount of computer science research and in... | |
| | | | |
athling2001.wordpress.com
|
|
| | | Cee's Black and White | ||
