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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540213130, 9783540247258
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals ML-Like Inference for Classifiers

2004 ◽  
pp. 79-93 ◽  
Author(s):  
Cristiano Calcagno ◽  
Eugenio Moggi ◽  
Walid Taha

scholarly journals Just Fast Keying in the Pi Calculus

2004 ◽  
pp. 340-354 ◽  
Author(s):  
Martín Abadi ◽  
Bruno Blanchet ◽  
Cédric Fournet
Keyword(s):  
Pi Calculus

scholarly journals Extracting a Data Flow Analyser in Constructive Logic

2004 ◽  
pp. 385-400 ◽  
Author(s):  
David Cachera ◽  
Thomas Jensen ◽  
David Pichardie ◽  
Vlad Rusu
Keyword(s):  
Data Flow ◽  
Constructive Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document