![Type theory / Theoretical computer science / Functional languages / Cross-platform software / Functional programming / Domain-specific language / Type system / Scala / Partial evaluation / Computing / Software engineering / Programming language theory Type theory / Theoretical computer science / Functional languages / Cross-platform software / Functional programming / Domain-specific language / Type system / Scala / Partial evaluation / Computing / Software engineering / Programming language theory](https://www.pdfsearch.io/img/0d097d876d9bec1f8347625df421a9fc.jpg)
| Document Date: 2013-07-16 20:02:01 Open Document File Size: 42,47 KBShare Result on Facebook
City Philadelphia / / Company Matsuda / / Country United Kingdom / United States / / Facility Simon Thompson University of Kent / / IndustryTerm manipulation algorithms / / Organization Simon Thompson University of Kent / / Person Martin Odersky / Stefan Wehr / Nada Amin / Isao Sasano / Keisuke Nakano / Philipp Haller / Tiark Rompf / Markus Degen / Ayumi Shinohara / Kazuhiro Inaba / Julia Lawall / Naoki Kobayashi / Kazuya Yaguchi / Peter Thiemann / Oleg Kiselyov Monterey / Takumi Goto / Adriaan Moors / / ProgrammingLanguage Scala / / ProvinceOrState Pennsylvania / / Technology manipulation algorithms / DSL / /
SocialTag |