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
31 - 39 of 39 search results for b&b

  1. Fully-matching results

  2. Abstraction for web programming Jeremy Yallop TH E U ...

    https://www.cl.cam.ac.uk/~jdy22/papers/dissertation.pdf
    18 Jun 2024: 277. B.2 Multi-holed contexts. 279. Bibliography 287. xi. List of Figures. ... 201. B.1 The monoid interface. 274. B.2 The page interface. 274.

  3. ST JOHN’S COLLEGE UNIVERSITY OF CAMBRIDGE THE STUDENT HANDBOOK ...

    https://www.joh.cam.ac.uk/sites/default/files/documents/StudentHandbook%202023_6.pdf
    28 Jun 2024: B.1 Introduction. 95. B.2 Scope of the Code. 95. B.3 Principles. ... 96. B.4 Informal procedure. 96. B.5 Formal procedure. 96. B.6 Appeals.
    By: Clark E.

  4. To appear in EPTCS.c© Leo White, Frédéric Bour & ...

    https://www.cl.cam.ac.uk/~jdy22/papers/modular-implicits.pdf
    18 Jun 2024: For example, the map function has the following type:. {M : Monad} -> ’a M.t -> (’a -> ’b) -> ’b M.t. ... val map : {M : Monad} -> ’a M.t -> (’a -> ’b) -> ’b M.t.

  5. Generating Mutually Recursive Definitions

    https://www.cl.cam.ac.uk/~jdy22/papers/generating-mutually-recursive-definitions-short-paper.pdf
    18 Jun 2024: B. B. A. is naturally expressed as a mutually-recursive group of bind-ings:. ... and x5 y = match y with| A::r x1 r| B::r x9 r| [] false.

  6. CMTI9

    https://www.cl.cam.ac.uk/~jdy22/papers/causal-commutative-arrows-revisited.pdf
    18 Jun 2024: where swap (a, b) = (b, a). Parallel composition of two arrows can then be defined as asequence of first and second:. () :: ... where. newBuf = dob Vector.new sizeVector.set b ir newSTRef 0return (b, r).

  7. A Practical Mode System for Recursive Definitions

    https://www.cl.cam.ac.uk/~jdy22/papers/a-practical-mode-system-for-recursive-definitions.pdf
    18 Jun 2024: Bindings b ::= (xi = ti)iHandlers h ::= (pi ti)iPatterns p,q ::= K (xi)i. ... x =v) (b b′). (x =v) frame let rec b,y =,b′ in u.

  8. STANDING ORDERS

    https://www.joh.cam.ac.uk/sites/default/files/documents/Standing%20Orders.pdf
    24 Jun 2024: Assignment of Fellows' Rooms B-3 2.3. The Green Room B-4 2.4. ... Applications by Fellows for the Accommodation of Visitors in College B-17 8.2.
    By: Catherine Jagger

  9. let (rec) insertion without Effects, Lights or Magic

    https://www.cl.cam.ac.uk/~jdy22/papers/let-rec-insertion-without-effects-lights-or-magic-pepm.pdf
    18 Jun 2024: Formally, we extendBX to. B′X = N (DX [t] T X[t code. ]) ... b′ = b[k〈n,inl d,n〉]That is, among the bindings ν(l) with the same locus l we pick an equivalence class witha non-canonical virtual binding 〈n,inr

  10. MacoCaml: Staging Composable and Compilable Macros

    https://www.cl.cam.ac.uk/~jdy22/papers/macocaml-staging-composable-and-compilable-macros.pdf
    18 Jun 2024: imported at level 0. (b) The module currently. being compiled. (c) A compiled module. ... that consumes a pair of integers. let pair = Lit "(" % Int % Lit ", " % Int % Lit ")" ( (int -> int -> 'b, 'b) fmt ). One way to implement printf is through a

Refine your results

Format

clear all

Date

Related searches for b&b

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.