Manuel Chakravarty et al. The Haskell 98 Foreign Function Interface 1.0, An Addendum to the Haskell 98 Report, 2003. Available online at http://www.haskell. org/definition/. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Transforming Haskell for Tracing - Olaf Chitil Colin (Correct)
....needs to be passed as argument. Hence this definition of Fun. The tracing combinator ap realises execution and tracing of an application. The primitive tracing combinators mkAt, mkApp, entRedex and entResult write to the trace file. They are side e#ecting C functions used via the standard FFI [1]. True (d) # # . c) Fig. 1. Trace generation for a reduction step f : RefExp Fun Bool Bool f p = R (Fun ( x r ap r (g r) x) mkAt p f ) g p = R ( mkAt p g ) newtype Fun a b = Fun (R a RefExp R b) ap : ....
M. Chakravarty et al. The Haskell 98 foreign function interface 1.0: An addendum to the Haskell 98 report. http://www.cse.unsw.edu.au/~chak/haskell/ffi/, 2002.
Chasing Bottoms - A Case Study in Program Verification in.. - Danielsson, Jansson (2004) (3 citations) (Correct)
No context found.
Manuel Chakravarty et al. The Haskell 98 Foreign Function Interface 1.0, An Addendum to the Haskell 98 Report, 2003. Available online at http://www.haskell. org/definition/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC