Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”
Cover Image
Read Now

2
Published 2015
Springer International Publishing
“... in the design and implementation of programming languages and systems. ...”
Cover Image
Read Now

3
by Lee, Kent D.
Published 2008
Springer US
“...Programming Languages: An Active Learning Approach introduces students to three programming...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages...”
Cover Image
Read Now

5
Published 2014
Springer International Publishing
Table of Contents: “... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
“... in the design and implementation of programming languages and systems...”
Cover Image
Read Now

7
Published 1998
Springer Berlin Heidelberg
Cover Image
Read Now

8
Published 2015
Springer International Publishing
“...This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages...”
Cover Image
Read Now

9
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... -- An application of computable distributions to the semantics of probabilistic programming languages -- Weakest...”
Cover Image
Read Now

10
by Sestoft, Peter
Published 2017
Springer International Publishing
“...This book uses a functional programming language (F#) as a metalanguage to present all concepts...”
Cover Image
Read Now

11
Published 2017
Springer International Publishing
Table of Contents: “... Programming Language -- Counterexample-Guided Bit-Precision Selection...”
Cover Image
Read Now

12
Published 2016
Springer International Publishing
“...This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages...”
Cover Image
Read Now

13
by Lee, Kent D.
Published 2017
Springer International Publishing
“... the essentials of programming languages, frameworks, and architectures. Dr. Kent D. Lee is Professor of Computer...”
Cover Image
Read Now

14
Published 2011
Springer Berlin Heidelberg
“...This book constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages...”
Cover Image
Read Now

15
Published 2012
Springer Berlin Heidelberg
“... submissions. Papers were invited on all aspects of programming language research, including: programming...”
Cover Image
Read Now

16
Published 2011
Springer Berlin Heidelberg
“... invited on all aspects of programming language research including: programming paradigms and styles...”
Cover Image
Read Now

17
Published 2013
Springer International Publishing
“...This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages...”
Cover Image
Read Now

18
by Klabnik, Steve, Nichols, Carol
Published 2018
No Starch Press, Inc.
Subjects: “...Rust (Computer program language) / http://id.loc.gov/authorities/subjects/sh2018000672...”
Cover Image
Read Now

19
Published 2021
Springer International Publishing
“...This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages...”
Cover Image
Read Now

20
Published 2022
Springer International Publishing
Table of Contents: “...Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming...”