1![Mixminion: Design of a Type III Anonymous Remailer Protocol George Danezis University of Cambridge Roger Dingledine Mixminion: Design of a Type III Anonymous Remailer Protocol George Danezis University of Cambridge Roger Dingledine](https://www.pdfsearch.io/img/0db75d83524c366ac553947490cb3dd4.jpg) | Add to Reading ListSource URL: www.mixminion.netLanguage: English - Date: 2006-04-09 17:22:45
|
---|
2![](/pdf-icon.png) | Add to Reading ListSource URL: www.curesma.org- Date: 2015-07-08 10:15:00
|
---|
3![The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents](https://www.pdfsearch.io/img/9188add04138d98470f7fa44488c49d2.jpg) | Add to Reading ListSource URL: bogumilkaminski.plLanguage: English - Date: 2015-01-04 14:18:51
|
---|
4![PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama](https://www.pdfsearch.io/img/b5eb095319d72f41b13470027fe9f4be.jpg) | Add to Reading ListSource URL: www.acm.orgLanguage: English - Date: 2016-06-08 12:49:34
|
---|
5![Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman](https://www.pdfsearch.io/img/62d7c14caeb4aeba68837ca662071116.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2006-12-31 07:06:18
|
---|
6![Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman](https://www.pdfsearch.io/img/2cebef897fc70d71d0df92f682f2f142.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2006-12-31 07:06:15
|
---|
7![Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc. Design and Evaluation of Gradual Typing for Python Michael M. Vitousek Andrew M. Kent Jeremy G. Siek Jim Baker Rackspace Inc.](https://www.pdfsearch.io/img/81f57c287e26bf01a449509d23d7ac1e.jpg) | Add to Reading ListSource URL: homes.soic.indiana.eduLanguage: English - Date: 2015-04-23 14:36:51
|
---|
8![PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama](https://www.pdfsearch.io/img/7ce8466ed428fd8c5487eb9c12c3db02.jpg) | Add to Reading ListSource URL: src.acm.orgLanguage: English - Date: 2016-06-08 14:54:18
|
---|
9![The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss The Standard Lisp Report Jed Marti A. C. Hearn M. L. Griss C. Griss](https://www.pdfsearch.io/img/8bc8e530595bf72a36bc7fa899788b40.jpg) | Add to Reading ListSource URL: reduce-algebra.comLanguage: English - Date: 2008-12-30 11:47:50
|
---|
10![The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without](https://www.pdfsearch.io/img/95bc1c702d4140f13e2851c93ef67316.jpg) | Add to Reading ListSource URL: www.idt.mdh.seLanguage: English - Date: 2013-12-11 16:14:47
|
---|