Search
Search Funnelback University
- Refined by:
- Date: Today
51 -
70 of
75
search results for news
Fully-matching results
-
Frex: indexing modulo equations with free extensions
https://www.cl.cam.ac.uk/~jdy22/papers/frex-indexing-modulo-equations-with-free-extensions.pdf18 Jun 2024: InProceedings of the 19th ACM SIGPLAN International Conference onFunctional Programming, ICFP ’14, page 297–309, New York, NY, USA,2014. ... In Proceedings of the 10th ACM SIGPLAN Workshopon Generic Programming, WGP ’14, page 15–24, New York, NY, -
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.pdf18 Jun 2024: e will eventually be bound; that fresh name is accompanied by the new virtual binding ofthat name to the result of e. ... The MITPress, New York, NY, 1990. [NN92] Flemming Nielson and Hanne Riis Nielson. -
Declarative foreign function binding throughgeneric programming…
https://www.cl.cam.ac.uk/~jdy22/papers/declarative-foreign-function-binding-through-generic-programming.pdf18 Jun 2024: Generating OCaml The second new FOREIGN implementation, GenerateML, gen-erates an OCaml wrapper for ctypes_gettimeofday. ... A lightweight implementation of generics anddynamics. Haskell ’02, pages 90–104, New York, NY, USA, 2002. -
2024_EPRG_H2_Demand
https://www.jbs.cam.ac.uk/wp-content/uploads/2024/06/eprg-2024_EPRG_H2_Demand-Svetlana-Ikonnikova.pdf18 Jun 2024: More ambitious standards have been set for new cars and vans in comparison to the 2021 CO2 targets:. ... New cars registered in the EU should have 55 % lower emissions (for vans 50 % lower) and by 2035 all. -
PowerPoint Presentation
https://www.jbs.cam.ac.uk/wp-content/uploads/2024/06/eprg-20240516-EPRG-presentation-UPDATED-v2-Joe-Perkins.pptx18 Jun 2024: planning and consent challenges associated with new build; and. prevailing political and macroeconomic uncertainty may also hinder the level of investment required. ... 6. The approach currently taken to assessing the case for new transmission investment -
An idiom’s guide to formlets? Ezra Cooper, Sam Lindley, ...
https://www.cl.cam.ac.uk/~jdy22/papers/idioms-guide.pdf18 Jun 2024: Besides these new operations, we must adjust the fundamental formlet operationsto support validation. ... We haveimplemented formlets in Links and shown that they can be cleanly extended tosupport new features such as validation. -
Partially static data as free extension of algebras
https://www.cl.cam.ac.uk/~jdy22/papers/partially-static-data-as-free-extension-of-algebras-short-paper.pdf18 Jun 2024: validate, and replaces the uncer-tainty of designing a new data structure with the preciseactivity of implementing a specification. ... In Proceedings of the4th ACM International Conference on Embedded Software (EMSOFT ’04).ACM, New York, NY, USA, -
1 Centre for Trophoblast Research Annual Meeting Emerging models ...
https://www.trophoblast.cam.ac.uk/files/2024_annual_meeting_booklet_public_reduced.pdf18 Jun 2024: 1:30 - Irene Zorzan: New approaches to study the regulators of human trophoblast development. ... New Investigator Award, and the Shipley Foundation’s Program for Innovation in Stem Cell Science Award. -
Under consideration for publication in J. Functional Programming 1 ...
https://www.cl.cam.ac.uk/~jdy22/papers/the-arrow-calculus.pdf18 Jun 2024: Hughes introduced a new constant, an arrow analogue of application,. app : (A ; B)A ; B. ... Information and computa-tion, 93(1), 55–92. Paterson, Ross. (2001). A new notation for arrows. -
MSFP 2008 Idioms are oblivious, arrows are meticulous,monads are ...
https://www.cl.cam.ac.uk/~jdy22/papers/idioms-are-oblivious-arrows-are-meticulous-monads-are-promiscuous.pdf18 Jun 2024: In addition to the termsof λ1, there is one new term form: arrow abstraction λ•x. ... 55–92. [8] Paterson, R., A new notation for arrows, in: International Conference on Functional Programming(2001), pp. -
1 Future of domestic price protection: response to Ofgem ...
https://www.jbs.cam.ac.uk/wp-content/uploads/2024/06/eprg-Future-of-domestic-price-protection-as-submitted-May-2024.pdf18 Jun 2024: new kinds of products for customers that might otherwise be disadvantaged by the evolution. ... tariffs being offered to new customers only), which has been extended for up to. -
Modular construction of multi-sorted free extensions (short paper)
https://www.cl.cam.ac.uk/~jdy22/papers/modular-construction-of-multi-sorted-free-extensions-short-paper.pdf18 Jun 2024: 2013. Optimizing data structures in high-levelprograms: new directions for extensible compilers based on staging.In The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principlesof Programming Languages, POPL ’13, Rome, Italy - -
Staging Generic Programming
https://www.cl.cam.ac.uk/~jdy22/papers/staging-generic-programming.pdf18 Jun 2024: However, most useful functions in SYB are recursive, in-troducing new challenges for staging. ... The push function mutates its mapargument, adding a new entry to the map. -
Generalised free extensionsAlgebraic normalisation and dependent…
https://www.cl.cam.ac.uk/~jdy22/projects/frex/generalised-free-extensions-algebraic-normalisation-and-dependent-types-poster.pdf18 Jun 2024: New. e.g., monoids, groups, rings dependently-typed operators. Generalised algebra Applications Free extensionCategories Semantics (Agda). -
Modular macros Jeremy YallopUniversity of Cambridge Computer…
https://www.cl.cam.ac.uk/~jdy22/papers/modular-macros.pdf18 Jun 2024: This definition of printk involves two new expression con-structs, borrowed from MetaOCaml. -
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem
https://www.cl.cam.ac.uk/~jdy22/papers/unboxed-data-constructors.pdf18 Jun 2024: We propose a new language feature for ML-family languages, the ability to selectively unbox certain dataconstructors, so that their runtime representation gets compiled away to just the identity on their ... heads and the function head : Value Heads are -
Lambda: The Ultimate Sublanguage (Experience Report)
https://www.cl.cam.ac.uk/~jdy22/papers/lambda-the-ultimate-sublanguage.pdf18 Jun 2024: Learning typically involves buildinga mental model and incrementally refining it by integrating new facts. ... In Proceedings ofthe 2012 Haskell Symposium (Haskell ’12). ACM, New York, NY, USA, 117–130. -
EPRG - North Sea Expansion
https://www.jbs.cam.ac.uk/wp-content/uploads/2024/06/eprg-FINAL-FTI-Principles-for-North-Sea-offshore-transmission-expansion-17-May-2024-Martina-Lindovska.pdf18 Jun 2024: New price zone between Country A and Country B changes where congestion rents arise;. — -
PowerPoint Presentation
https://www.jbs.cam.ac.uk/wp-content/uploads/2024/06/eprg-20240517-Cambridge-EPRG_ENER_CET-Miguel-Gil-Tertre.pptx18 Jun 2024: Estimated. New RES capacity growing fast. 73 GW of new installed RES capacity in 2023 (around 13 bcm of gas saved). ... Investment means returns and benefits:. Domestically produced energy. Better homes. New businesses and jobs, etc. -
A modular foreign function interface Jeremy Yallop, David Sheets ...
https://www.cl.cam.ac.uk/~jdy22/papers/a-modular-foreign-function-interface.pdf18 Jun 2024: There areprimitive operations for creating a new callspec, for adding arguments, andfor marking the callspec as complete and specifying the return type:. ... 4.2. Generating OCaml. The second new FOREIGN implementation, Foreign_GenML (Figure 9),
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.