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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540330950, 9783540330967
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Types for Hierarchic Shapes

2006 ◽  
pp. 1-6 ◽  
Author(s):  
Sophia Drossopoulou ◽  
Dave Clarke ◽  
James Noble

scholarly journals Linear Regions Are All You Need

2006 ◽  
pp. 7-21 ◽  
Author(s):  
Matthew Fluet ◽  
Greg Morrisett ◽  
Amal Ahmed
Load More ...
Sign in / Sign up

Export Citation Format

Share Document