/explore
|
You are here 
|
boris.kourtoukov.com | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
soundstudiesblog.com
Caroline Pinkston is a PhD candidate in American Studies at the University of Texas at Austin. Her work brings education into conversation with childhood studies and cultural memory. She holds a B.A. in American Studies and English from Northwestern University (2008), an M.S. in English Education from Lehman College (2010), and an M.A. in American... |
|
| | | | | ||
| | | | |
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 |
|
| | | | | ||
| | | | |
quiltingismorefunthanhousework.blogspot.com
I thought I would share some little quilts today... The top on this quilt is just a panel that Nann sent to us. I didn't even add a border.... |
|
| | | |||
