Cardano Audit Report February 2018 This report is based on the following commits. • cardano-sl: 535c36cf9496958e96aabf57bb875012060b3b34 • daedalus: d9afc5d4308b3b0f8f2467d3db8bb54c4746537e This is not a ﬁnal repor - Environmental audit - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-09-13 11:00:23 Computing Software engineering Computer programming Scripting languages Unix shells Procedural programming languages Programming languages Monad ALGOL 68 Bash Bourne shell		Cardano Audit Report February 2018 This report is based on the following commits. • cardano-sl: 535c36cf9496958e96aabf57bb875012060b3b34 • daedalus: d9afc5d4308b3b0f8f2467d3db8bb54c4746537e This is not a ﬁnal repor Add to Reading List Source URL: cardano.org Download Document from Source Website File Size: 323,02 KB Share Document on Facebook

	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 DocID: 1xVxf - View Document
	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis DocID: 1xUWv - View Document
	Teaching Programming Languages by Experimental and Adversarial Thinking∗ Justin Pombrio1 , Shriram Krishnamurthi2 , and Kathi Fisler3 1 2 DocID: 1xUDz - View Document
	tifact Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features Keywords Macros, hygiene, binding, scope 1. DocID: 1xUqQ - View Document
	Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev DocID: 1xUeI - View Document