Search
Search Funnelback University
- Refined by:
- Date: Past year
1 -
10 of
11
search results for b&b |u:www.syslog.cl.cam.ac.uk
Fully-matching results
-
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. -
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. -
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. -
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. -
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. -
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. -
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 -
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. -
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. -
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.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.