新闻与深度文章
加载中…
By Allison Linn, Senior Writer, Microsof…
奖项 | MIT Technology Review
Jamie Shotton named to MIT Technology Review’s 35 Innovators Under 35
Jamie Shotton was named as one of 35 Inn…
The first week of July didn’t just see t…
Luca Cardelli received the ACM SIGPLAN P…
奖项 | UK Academy of Engineering
Don Syme honored with Silver Medal from UK Academy of Engineering
Don Syme named one of three winners of t…
Posted by George Thomas Jr. Many program…
Microsoft researcher Jasmin Fisher credi…
新闻报道 | Wired
How to inkjet-print an electronic circuit
Steve Hodges, head of the sensors and de…
新闻报道 | ACM SIGPLAN
The 2015 ACM SIGPLAN Most Influential ICFP Paper Award (shared with Manuel M. T. Chakravarty and Gabriele Keller)
For the 2006 paper, ‘Simple unification-…