1
Published 2012
Springer Berlin Heidelberg
...This book constitutes the proceedings of the 16th Brazililan Symposium on Programming Languages...

2
Published 2016
Springer International Publishing
... in the design and implementation of programming languages and systems...

3
Published 2015
Springer International Publishing
... in the design and implementation of programming languages and systems. ...

4
Published 2014
Springer International Publishing
Table of Contents: ... and theoretical foundations -- Program analysis and verification -- Programming language design and implementation...

5
by Lee, Kent D.
Published 2008
Springer US
...Programming Languages: An Active Learning Approach introduces students to three programming...

6
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...

7
Published 2017
Springer Berlin Heidelberg
... in programming languages. In detail they deal with semantic foundation and type system for probabilistic...

8
by Sestoft, Peter
Published 2017
Springer International Publishing
...This book uses a functional programming language (F#) as a metalanguage to present all concepts...

9
Published 2015
Springer International Publishing
...This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages...

10
Published 2019
Springer International Publishing

11
Published 2018
Springer International Publishing
...This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages...

13
Published 2007
Springer Berlin Heidelberg

14
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...

16
Published 2005
Springer Berlin Heidelberg

18
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...

19
Published 2006
Springer Berlin Heidelberg
... in Asia to serve programming language researchers worldwide. Following a series of we- attended workshops...

20
Published 2010
Springer Berlin Heidelberg