1![Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al](https://www.pdfsearch.io/img/b7d28a03e370a1c70d4a902b40eb45a6.jpg) | Add to Reading ListSource URL: uclmr.github.ioLanguage: English - Date: 2018-08-06 06:17:49
|
---|
2![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
|
---|
3![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
|
---|
4![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
|
---|
5![Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev](https://www.pdfsearch.io/img/e7a3cfe3d244815943dae176a9f9cbdc.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:56:00
|
---|
6![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
|
---|
7![PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science POINTER ANALYSIS! PROGRAM ANALYSIS PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science POINTER ANALYSIS! PROGRAM ANALYSIS](https://www.pdfsearch.io/img/30087a5776172670ebb38bf16e51fc26.jpg) | Add to Reading ListSource URL: homepages.dcc.ufmg.brLanguage: English - Date: 2016-04-11 10:02:42
|
---|
8![Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev](https://www.pdfsearch.io/img/4a48c2db63de62bf0151c1bd8780c9f3.jpg) | Add to Reading ListSource URL: www.sri.inf.ethz.chLanguage: English - Date: 2018-05-15 09:28:45
|
---|
9![Universidade
Federal
de
Minas
Gerais
–
Department
of
Computer
Science
–
Programming
Languages
Laboratory
INTRODUCTION
TO
LLVM
DCC
888
Universidade
Federal
de
Minas
Gerais
–
Department
of
Computer
Science
–
Programming
Languages
Laboratory
INTRODUCTION
TO
LLVM
DCC
888](https://www.pdfsearch.io/img/7d98ff4a1c18c98c5ce519b95fd85276.jpg) | Add to Reading ListSource URL: laure.gonnord.orgLanguage: English - Date: 2017-10-10 10:47:37
|
---|