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
41 - 50 of 75 search results for news

  1. Fully-matching results

  2. Frex: dependently-typed algebraic simplification

    https://www.cl.cam.ac.uk/~jdy22/papers/frex-dependently-typed-algebraic-simplification.pdf
    18 Jun 2024: Cleanly separating between theinterface and implementation of simplification modules provides two new modularity axes. ... The suite shares infrastructure code, and the separationbetween interface and implementation allows library designers and users to

  3. flap: A Deterministic Parser with Fused Lexing

    https://www.cl.cam.ac.uk/~jdy22/papers/flap-a-deterministic-parser-with-fused-lexing.pdf
    18 Jun 2024: The fused result consists of three parts. First, we replace each production = C = with a new. ... and lexing continues with the new longest match :′.The M function has two arguments: an action :, and a remainder string AB.

  4. Generating Mutually Recursive Definitions

    https://www.cl.cam.ac.uk/~jdy22/papers/generating-mutually-recursive-definitions-short-paper.pdf
    18 Jun 2024: With this new mrfix but the same sevodf from Section 4 weare able to generate the specialized even 1 n code, with fourmutually recursive definitions. ... ACM, New York, NY, USA, 85–96. https://doi.org/10.1145/2847538.2847546. Jeremy Yallop. 2017.

  5. Data Protection Statement How we use your personal information- ...

    https://www.queens.cam.ac.uk/files/dps_-_alumni_-_march_2024_1_0.pdf
    18 Jun 2024: Communications If you are a new contact for our Alumni & Development Office, we will use the contact information provided through CamSIS (University of Cambridge). ... your public social media profile(s), Queen’s Honours List, Companies House, high
    By: Louise Butterfield

  6. Partially-Static Data as Free Extension of Algebras

    https://www.cl.cam.ac.uk/~jdy22/papers/partially-static-data-as-free-extension-of-algebras.pdf
    18 Jun 2024: We introduce a new tree constructor, with an unordered bag of n children:. ... Jx mappend "abcdef" mappend yK. 3.5.2 Creating New Instances to Use with frex.

  7. let (rec) insertion without effects, lights or magic

    https://www.cl.cam.ac.uk/~jdy22/papers/let-rec-insertion-without-effects-lights-or-magic.pdf
    18 Jun 2024: In. Proceedings of the 1992 ACM Conference on LISP and Functional Programming,LFP ’92, pages 1–10, New York, NY, USA, 1992. ... In Proceedingsof the 1994 ACM Conference on LISP and Functional Programming, LFP ’94, pages227–238, New York, NY, USA,

  8. MacoCaml: Staging Composable and Compilable Macros

    https://www.cl.cam.ac.uk/~jdy22/papers/macocaml-staging-composable-and-compilable-macros.pdf
    18 Jun 2024: We introduce MacoCaml, a new design and implementation of compile-time code generation for the OCaml.

  9. A right-to-left type system for value recursion

    https://www.cl.cam.ac.uk/~jdy22/papers/a-right-to-left-type-system-for-value-recursion.pdf
    18 Jun 2024: While we believe that the check as originally defined was correct, itproved fragile and hard to extend to the interaction of new languagefeatures with recursive definitions. ... 5 Closing remarksWe have presented a new static analysis for recursive value

  10. Staged Generic Programming

    https://www.cl.cam.ac.uk/~jdy22/papers/staged-generic-programming.pdf
    18 Jun 2024: val new_mapȷ unit 'a map ref. val lookupȷ {TȷTYPEABLE} 'a map ˘T.t 'a option. ... Staged Generic Programming 29:13. 1 let gfixQ f =. 2 let m = new_map ˘ in.

  11. Safe and efficient generic functions with MacoCaml Dmitrij…

    https://www.cl.cam.ac.uk/~jdy22/papers/safe-and-efficient-generic-functions-with-macocaml.pdf
    18 Jun 2024: A new approach: generic macros in MacoCamlMacoCaml, an extension of OCaml that we are developing, sup-. ... Generic functions in OCaml: two approaches. A new approach: generic macros in MacoCaml.

Refine your results

Format

clear all

Date

Related searches for news

By site

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.