Programming Languages and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662494974, 9783662494981
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic NetKAT

2016 ◽  
pp. 282-309 ◽  
Author(s):  
Nate Foster ◽  
Dexter Kozen ◽  
Konstantinos Mamouras ◽  
Mark Reitblatt ◽  
Alexandra Silva

scholarly journals Visible Type Application

2016 ◽  
pp. 229-254 ◽  
Author(s):  
Richard A. Eisenberg ◽  
Stephanie Weirich ◽  
Hamidhasan G. Ahmed

scholarly journals Needle & Knot: Binder Boilerplate Tied Up

2016 ◽  
pp. 419-445 ◽  
Author(s):  
Steven Keuchel ◽  
Stephanie Weirich ◽  
Tom Schrijvers

Classical By-Need

2016 ◽  
pp. 616-643 ◽  
Author(s):  
Pierre-Marie Pédrot ◽  
Alexis Saurin
Load More ...
Sign in / Sign up

Export Citation Format

Share Document