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

TOTAL DOCUMENTS

27
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540672623, 9783540464259
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Alias Types

2000 ◽  
pp. 366-381 ◽  
Author(s):  
Frederick Smith ◽  
David Walker ◽  
Greg Morrisett

scholarly journals A Calculus for Compiling and Linking Classes

2000 ◽  
pp. 135-149 ◽  
Author(s):  
Kathleen Fisher ◽  
John Reppy ◽  
Jon G. Riecke

scholarly journals Flow-Directed Closure Conversion for Typed Languages

2000 ◽  
pp. 56-71 ◽  
Author(s):  
Henry Cejtin ◽  
Suresh Jagannathan ◽  
Stephen Weeks
Keyword(s):  
Closure Conversion ◽  
Typed Languages

scholarly journals Secure Information Flow as Typed Process Behaviour

2000 ◽  
pp. 180-199 ◽  
Author(s):  
Kohei Honda ◽  
Vasco Vasconcelos ◽  
Nobuko Yoshida
Keyword(s):  
Information Flow ◽  
Secure Information
Load More ...
Sign in / Sign up

Export Citation Format

Share Document