1![Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich
PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich
PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis](https://www.pdfsearch.io/img/a2b6666c0be676ce885b3280dbc57044.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:57:48
|
---|
2![Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2 Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2](https://www.pdfsearch.io/img/8ed46930624f35a498b1cf48c266e6cd.jpg) | Add to Reading ListSource URL: cs.brown.eduLanguage: English - Date: 2017-05-02 21:46:11
|
---|
3![tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1.](https://www.pdfsearch.io/img/238ddf56e247e266e88372c38f01c5da.jpg) | Add to Reading ListSource URL: www.cs.utah.eduLanguage: English - Date: 2015-12-13 09:20:23
|
---|
4![The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation The University of York Department of Computer Science Programming Languages and Systems Group Unfailing Haskell Qualifying Dissertation](https://www.pdfsearch.io/img/75ec7abdc13d8573c2200f6af3565272.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
5![Published in ASPLOS XIII: Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008 The Design and Implementation of Microdrivers Vinod Ga Published in ASPLOS XIII: Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems, March 2008 The Design and Implementation of Microdrivers Vinod Ga](https://www.pdfsearch.io/img/4043dd3a5480873db31fed67ef669867.jpg) | Add to Reading ListSource URL: pages.cs.wisc.eduLanguage: English - Date: 2015-07-23 11:03:47
|
---|
6![ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s ACOPAL Analyse et Compilation des langages de programmation parallèles Analysis and Compilation of Parallel Programming Languages Abstract Parallel programming is increasingly important for embedded systems as well as s](https://www.pdfsearch.io/img/5e482427e56166ef3b1a2f127b4700c3.jpg) | Add to Reading ListSource URL: www.cri.mines-paristech.frLanguage: English - Date: 2015-03-30 04:19:54
|
---|
7![Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award, Programming languages and their trustworthy implementation Xavier Leroy INRIA Paris Van Wijngaarden award,](https://www.pdfsearch.io/img/9ff868b5cc980157450c509c3e0c9423.jpg) | Add to Reading ListSource URL: xavierleroy.orgLanguage: English - Date: 2018-08-01 14:49:25
|
---|
8![BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July BATBAMBAMMBA: Boolean and Arithmetic Languages Oregon Programming Languages Summer School Ronald Garcia 4 July](https://www.pdfsearch.io/img/97b00c7950b88d4d87e8f7988eea2a50.jpg) | Add to Reading ListSource URL: www.cs.uoregon.eduLanguage: English - Date: 2017-07-05 13:09:34
|
---|
9![Reviewing programming languages and frameworks for compliance with Universal Acceptance
good practice
Reviewing programming languages and frameworks for compliance with Universal Acceptance
good practice](https://www.pdfsearch.io/img/200a5437b7174a4d287c572d0e689937.jpg) | Add to Reading ListSource URL: uasg.techLanguage: English - Date: 2017-09-26 09:32:19
|
---|
10![glue here Zimbu is a new, experimental programming language. It is a very practical, no-nonsense kind of language. It mixes the good things of many existing languages and avoids their deficiencies. And then throws in a glue here Zimbu is a new, experimental programming language. It is a very practical, no-nonsense kind of language. It mixes the good things of many existing languages and avoids their deficiencies. And then throws in a](https://www.pdfsearch.io/img/7b4e763acae5386774cc2a6aa4c3c630.jpg) | Add to Reading ListSource URL: www.moolenaar.netLanguage: English - Date: 2017-12-13 14:01:12
|
---|