| | 1ML with Special Effects – F-ing Generativity Polymorphism (2016) [pdf] (mpi-sws.org) |
|
2 points by sctb on Nov 16, 2017 | past
|
|
| | MixML – a complete redesign of the ML module language (mpi-sws.org) |
|
1 point by networked on Nov 10, 2017 | past
|
|
| | 1ML – Core and Modules United (F-ing First-Class Modules) (2015) [pdf] (mpi-sws.org) |
|
2 points by mpweiher on Aug 19, 2017 | past
|
|
| | Modular type classes [pdf] (mpi-sws.org) |
|
2 points by fanf2 on July 17, 2017 | past
|
|
| | Meme-tracking and the dynamics of the news cycle (2008) [pdf] (mpi-sws.org) |
|
1 point by anigbrowl on Nov 24, 2016 | past
|
|
| | Aqua – A scalable, traffic analysis resistant anonymity network for VoIP systems (mpi-sws.org) |
|
6 points by zerognowl on Oct 5, 2016 | past
|
|
| | Self-Adjusting Stack Machines (2011) [pdf] (mpi-sws.org) |
|
2 points by vmorgulis on July 16, 2016 | past | 1 comment
|
|
| | Reagents: Expressing and Composing Fine-Grained Concurrency (2012) [pdf] (mpi-sws.org) |
|
37 points by edwintorok on July 11, 2016 | past
|
|
| | Modular type classes in Standard ML [pdf] (mpi-sws.org) |
|
1 point by eatonphil on Feb 17, 2016 | past
|
|
| | RustBelt: Logical Foundations for the Future of Safe Systems Programming (mpi-sws.org) |
|
98 points by ingve on Jan 8, 2016 | past | 16 comments
|
|
| | Machine Learning Summer School 2016 in Càdiz, Spain (mpi-sws.org) |
|
2 points by musically_ut on Nov 21, 2015 | past
|
|
| | Mtac: A Monad for Typed Tactic Programming in Coq (mpi-sws.org) |
|
2 points by jcr on Sept 8, 2015 | past
|
|
| | A Compositionally Verified Compiler for a Higher-Order Imperative Language [pdf] (mpi-sws.org) |
|
18 points by gkuan on June 25, 2015 | past | 3 comments
|
|
| | 1ML – unifying ML into one language (mpi-sws.org) |
|
175 points by g1236627 on April 22, 2015 | past | 60 comments
|
|
| | Experimental new directions for JavaScript [pdf] (mpi-sws.org) |
|
2 points by leo2urlevan on Feb 5, 2015 | past
|
|
| | User Lifecycle and Linguistic Change in Online Communities [pdf] (mpi-sws.org) |
|
2 points by wslh on Nov 22, 2014 | past
|
|
| | Who Likes What? – Discover Topical Interests of Twitter Users (mpi-sws.org) |
|
2 points by joiguru on Aug 23, 2014 | past
|
|
| | Backpack: Retrofitting Haskell with Interfaces (mpi-sws.org) |
|
1 point by dmmalam on July 23, 2014 | past
|
|
| | Backpack: Retrofitting Haskell with Interfaces (mpi-sws.org) |
|
2 points by o1iver on April 25, 2014 | past
|
|
| | POPL 2014 proceedings are available for free (mpi-sws.org) |
|
1 point by drp4929 on Jan 24, 2014 | past
|
|
| | Backpack: Retrofitting Haskell with Interfaces (mpi-sws.org) |
|
1 point by jiver on Jan 11, 2014 | past
|
|
| | Backpack: Retrofitting Haskell with Interfaces (mpi-sws.org) |
|
2 points by platz on Jan 7, 2014 | past
|
|
| | Glasnost: Test if your ISP is shaping your traffic (mpi-sws.org) |
|
6 points by danboarder on Feb 16, 2013 | past | 1 comment
|
|
| | Growth of Twitter Population (Visualisation) (mpi-sws.org) |
|
2 points by smussman on Nov 17, 2011 | past
|
|
| | Incoop: MapReduce for Incremental Computations (mpi-sws.org) |
|
3 points by zeit_geist on July 23, 2011 | past
|
|
| | Glasnost: Test if your ISP is shaping your traffic (mpi-sws.org) |
|
73 points by drey on April 9, 2011 | past | 12 comments
|
|
