Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 11 of 11 search results for b&b |u:www.syslog.cl.cam.ac.uk

  1. Fully-matching results

  2. ICFP 2014: Day 3 « syslog

    https://www.syslog.cl.cam.ac.uk/2014/09/03/icfp-2014-day-3/
    5 Nov 2023: Equality proofs a = b are identifications of a with b. ... Examples: id, treefoldl : a tree -> b -> (b -> a -> b) -> b.

  3. Workshop « syslog

    https://www.syslog.cl.cam.ac.uk/category/workshop/page/2/
    5 Nov 2023: Formally, given. f : A -> A, g : B -> B, abs : B -> A, rep : A -> B. ... A and B: 'domain' data; A', B': 'core' data). The example used is matrix-vector multiplication.

  4. liveblog « syslog

    https://www.syslog.cl.cam.ac.uk/tag/liveblog/
    5 Nov 2023: The Worker/Wrapper transformation: Original program has type A, worker has type B, wrapper has type B -> A. ... Formally, given. f : A -> A, g : B -> B, abs : B -> A, rep : A -> B.

  5. syslog

    https://www.syslog.cl.cam.ac.uk/page/2/
    5 Nov 2023: Automatic verification is not b/w. We can have semi-automatic verification: we can guide the verifier. ... Classic programming problem: in let x = a in b, we want to catch exceptions raised by a but not those raised by b.

  6. ICFP 2014: Day 1 « syslog

    https://www.syslog.cl.cam.ac.uk/2014/09/01/icfp-2014-day-1/
    5 Nov 2023: The Worker/Wrapper transformation: Original program has type A, worker has type B, wrapper has type B -> A. ... Formally, given. f : A -> A, g : B -> B, abs : B -> A, rep : A -> B.

  7. Conference « syslog

    https://www.syslog.cl.cam.ac.uk/tag/conference/
    5 Nov 2023: The Worker/Wrapper transformation: Original program has type A, worker has type B, wrapper has type B -> A. ... Formally, given. f : A -> A, g : B -> B, abs : B -> A, rep : A -> B.

  8. syslog

    https://www.syslog.cl.cam.ac.uk/page/3/
    5 Nov 2023: Answer: a new equivalence relation, ≈ (written in Haskell syntax as Coercible a b instead of a ≈ b): coerce :: Coercible a b => a -> b which should do nothing ... Want: Coercible a b then Coercible [a] [b]. Need instances of Coercible for

  9. Rump kernels and {why,how} we got here

    https://www.syslog.cl.cam.ac.uk/feed/
    5 Nov 2023: Automatic verification is not b/w. We can have semi-automatic verification: we can guide the verifier.

  10. Workshop « syslog

    https://www.syslog.cl.cam.ac.uk/category/workshop/
    5 Nov 2023: Automatic verification is not b/w. We can have semi-automatic verification: we can guide the verifier. ... Classic programming problem: in let x = a in b, we want to catch exceptions raised by a but not those raised by b.

  11. Conference « syslog

    https://www.syslog.cl.cam.ac.uk/category/conference/page/2/
    5 Nov 2023: Examples: id, treefoldl : a tree -> b -> (b -> a -> b) -> b. ... Want: Coercible a b then Coercible [a] [b]. Need instances of Coercible for newtype ("wrapping") and data ("lifting") declarations.

  12. workshop « syslog

    https://www.syslog.cl.cam.ac.uk/tag/workshop-2/
    5 Nov 2023: The Worker/Wrapper transformation: Original program has type A, worker has type B, wrapper has type B -> A. ... Formally, given. f : A -> A, g : B -> B, abs : B -> A, rep : A -> B.

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.