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 - 10 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.

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.