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

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319296036, 9783319296043
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Sets to Bits in Coq

2016 ◽  
pp. 12-28 ◽  
Author(s):  
Arthur Blot ◽  
Pierre-Évariste Dagand ◽  
Julia Lawall

Polymorphic Types in Erlang Function Specifications

2016 ◽  
pp. 181-197
Author(s):  
Francisco J. López-Fraguas ◽  
Manuel Montenegro ◽  
Juan Rodríguez-Hortalá

scholarly journals Proof Relevant Corecursive Resolution

2016 ◽  
pp. 126-143 ◽  
Author(s):  
Peng Fu ◽  
Ekaterina Komendantskaya ◽  
Tom Schrijvers ◽  
Andrew Pond

scholarly journals A Transformational Approach to Parametric Accumulated-Cost Static Profiling

2016 ◽  
pp. 163-180 ◽  
Author(s):  
R. Haemmerlé ◽  
P. López-García ◽  
U. Liqat ◽  
M. Klemen ◽  
J. P. Gallagher ◽  
...  

A Coq Library for Internal Verification of Running-Times

2016 ◽  
pp. 144-162 ◽  
Author(s):  
Jay McCarthy ◽  
Burke Fetscher ◽  
Max New ◽  
Daniel Feltey ◽  
Robert Bruce Findler
Load More ...
Sign in / Sign up

Export Citation Format

Share Document