Implementation and Application of Functional Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540853725, 9783540853732
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Graph Parser Combinators

2008 ◽  
pp. 1-18
Author(s):  
Steffen Mazanek ◽  
Mark Minas

scholarly journals Testing Erlang Refactorings with QuickCheck

2008 ◽  
pp. 19-36 ◽  
Author(s):  
Huiqing Li ◽  
Simon Thompson

From Contracts Towards Dependent Types: Proofs by Partial Evaluation

2008 ◽  
pp. 254-273 ◽  
Author(s):  
Stephan Herhut ◽  
Sven-Bodo Scholz ◽  
Robert Bernecky ◽  
Clemens Grelck ◽  
Kai Trojahner
Keyword(s):  
Partial Evaluation ◽  
Dependent Types

XHaskell – Adding Regular Expression Types to Haskell

2008 ◽  
pp. 75-92 ◽  
Author(s):  
Martin Sulzmann ◽  
Kenny Zhuo Ming Lu
Keyword(s):  
Regular Expression

Optimal Lambda Lifting in Quadratic Time

2008 ◽  
pp. 37-56 ◽  
Author(s):  
Marco T. Morazán ◽  
Ulrik P. Schultz

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity

2008 ◽  
pp. 57-74
Author(s):  
Atze Dijkstra ◽  
Jeroen Fokker ◽  
S. Doaitse Swierstra
Load More ...
Sign in / Sign up

Export Citation Format

Share Document