Constitutes the post-proceedings of the 13th International Workshop on the Implementation of Functional Languages held in Sweden in 2001. The 11 full papers cover topics including aspects of implementing and using functional languages, such as type systems, compilation, theorem proving and more.
przeczytaj całość
Constitutes the post-proceedings of the 13th International Workshop on the Implementation of Functional Languages held in Sweden in 2001. The 11 full papers cover topics including aspects of implementing and using functional languages, such as type systems, compilation, theorem proving and more.
ukryj opis
Recenzja