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

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

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

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

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

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

7
Published 2011
Springer Berlin Heidelberg
... invited on all aspects of programming language research including: programming paradigms and styles...

8
Published 2012
Springer Berlin Heidelberg
... submissions. Papers were invited on all aspects of programming language research, including: programming...

9
Published 2012
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages...

10
Published 2013
Springer Berlin Heidelberg

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

12
Published 2007
Springer Berlin Heidelberg
... to presentthe verybest workat the intersectionof database and programming language research. The proceedings...

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

14
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Handlers as Extensible Cases -- Sound and Complete Type Inference for a Systems Programming Language...

15
Published 2009
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages...

16
Published 2008
Springer Berlin Heidelberg

17
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... to Design Programming Languages -- Computational Effects -- Modular Monad Transformers -- Handlers...

19
Published 2010
Springer Berlin Heidelberg

20
by Degano, Pierpaolo
Published 2003
Springer-Verlag Berlin Heidelberg
Subjects: ...Programming Languages, Compilers, Interpreters...