Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By ACM Press

9781450335164
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals From monoids to near-semirings

2015 ◽  
Author(s):  
Exequiel Rivas ◽  
Mauro Jaskelioff ◽  
Tom Schrijvers

Declarative interpretations of session-based concurrency

2015 ◽  
Author(s):  
Mauricio Cano ◽  
Camilo Rueda ◽  
Hugo A. López ◽  
Jorge A. Pérez

Lasp

2015 ◽  
Author(s):  
Christopher Meiklejohn ◽  
Peter Van Roy

Concolic testing for functional languages

2015 ◽  
Author(s):  
Aggelos Giantsios ◽  
Nikolaos Papaspyrou ◽  
Konstantinos Sagonas
Keyword(s):  
Functional Languages ◽  
Concolic Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document