Functional and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540334385, 9783540334392
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Resource Analysis by Sup-interpretation

2006 ◽  
pp. 163-176 ◽  
Author(s):  
Jean-Yves Marion ◽  
Romain Péchoux
Keyword(s):  
Resource Analysis

scholarly journals Lazy Set-Sharing Analysis

2006 ◽  
pp. 177-191 ◽  
Author(s):  
Xuan Li ◽  
Andy King ◽  
Lunjin Lu
Keyword(s):  
Set Sharing

Ruler: Programming Type Rules

2006 ◽  
pp. 30-46 ◽  
Author(s):  
Atze Dijkstra ◽  
S. Doaitse Swierstra

scholarly journals A Computational Approach to Pocklington Certificates in Type Theory

2006 ◽  
pp. 97-113 ◽  
Author(s):  
Benjamin Grégoire ◽  
Laurent Théry ◽  
Benjamin Werner
Keyword(s):  
Type Theory ◽  
Computational Approach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document