Programming Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319452784, 9783319452791
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Annotating and Checking of Dynamic Ownership

2016 ◽  
pp. 78-94
Author(s):  
Tingting Hu ◽  
Haiyang Liu ◽  
Ke Zhang ◽  
Zongyan Qiu

A Monadic Semantics for Quantum Computing in Featherweight Java

2016 ◽  
pp. 31-45
Author(s):  
Samuel da Silva Feitosa ◽  
Juliana Kaizer Vizzotto ◽  
Eduardo Kessler Piveta ◽  
Andre Rauber Du Bois
Keyword(s):  
Quantum Computing

scholarly journals Erratum to: A Monadic Semantics for Quantum Computing in Featherweight Java

2016 ◽  
pp. E1-E1
Author(s):  
Samuel da Silva Feitosa ◽  
Juliana Kaizer Vizzotto ◽  
Eduardo Kessler Piveta ◽  
Andre Rauber Du Bois
Keyword(s):  
Quantum Computing

Optional Type Classes for Haskell

2016 ◽  
pp. 125-139 ◽  
Author(s):  
Rodrigo Ribeiro ◽  
Carlos Camarão ◽  
Lucília Figueiredo ◽  
Cristiano Vasconcellos
Keyword(s):  
Type Classes

scholarly journals Memoized Zipper-Based Attribute Grammars

2016 ◽  
pp. 46-61 ◽  
Author(s):  
João Paulo Fernandes ◽  
Pedro Martins ◽  
Alberto Pardo ◽  
João Saraiva ◽  
Marcos Viera
Keyword(s):  
Attribute Grammars
Load More ...
Sign in / Sign up

Export Citation Format

Share Document