Titlebook: Implementation and Application of Functional Languages; 18th International S Zoltán Horváth,Viktória Zsók,Andrew Butterfield Conference pro

investigate

A Conference Management System Based on the ,,n be used for even more tasks: handle ., perform .. This can be done entirely on top of the .. The toolkit comes with a new programming paradigm. We illustrate the extended power of the toolkit and programming paradigm by a case study of a conference management system.

FLAIL

,, a Proof Engine, language; by using type theory as a core representation, we can construct and evaluate terms and prove correctness properties of those terms within the . framework, ensuring consistency of the implementation and the theorem prover.

取之不竭

報(bào)復(fù)

Automatic Partial Inversion of Inductively Sequential Functions,emoval of let expressions. Furthermore, it can easily be implemented. Therefore, it forms an appropriate basis for developing a practically applicable transformation tool. Preliminary experiments with a prototype implementation of the partial inverter demonstrates the usefulness and viability of our approach.

固執(zhí)點(diǎn)好

Tdd526

978-3-540-74129-9Springer-Verlag Berlin Heidelberg 2007

capsule

Density

0302-9743 Overview: 978-3-540-74129-9978-3-540-74130-5Series ISSN 0302-9743 Series E-ISSN 1611-3349

Aviary

https://doi.org/10.1007/978-3-540-74130-5Debugging; Haskell; Haskell programming; ML programming; function-based programming; functional logic com

離開真充足