Verification of Second-Order Functional Programs
Functional programming languages such as Haskell or ML allow the programmer to implement and to use higher-order procedures. A higher-order procedure gets a function as argument and applies this function to some values. For instance, procedure 'map' applies a function to all elements of a...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English en |
| Published: |
2009
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/1865/1/Dissertation-Aderhold_final_sw.pdf Aderhold, Markus Axel <http://tuprints.ulb.tu-darmstadt.de/view/person/Aderhold=3AMarkus_Axel=3A=3A.html> (2009): Verification of Second-Order Functional Programs.Darmstadt, Technische Universität, [Ph.D. Thesis] |