New pages
From WG 2.11
- 14:26, 3 December 2024 WG211M24Lindley (hist) [644 bytes] Ohad (talk | contribs) (Sam Lindley's abstract)
- 14:25, 3 December 2024 WG211M24Shaikhha (hist) [1,397 bytes] Ohad (talk | contribs) (Amir's abstract)
- 17:38, 1 December 2024 WG211/M24Rompf (hist) [1,107 bytes] Jacques (talk | contribs) (Created page with "We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensor...")
- 10:25, 1 December 2024 WG211/M23Reichenbach (hist) [703 bytes] Creichen (talk | contribs) (WG2.11/M24: Circular reference attribute evaluation)
- 17:08, 29 November 2024 WG211/M24Scholz (hist) [890 bytes] Sven-Bodo (talk | contribs) (Created page with "In this talk I present SaC's Type Patterns and their implementation in the latest release of our compiler. Type patterns allow programmers to specify arbitrarily complex const...")
- 14:59, 29 November 2024 WG211/M24Allais (hist) [553 bytes] Jacques (talk | contribs) (Created page with "Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic...")
- 20:03, 28 November 2024 WG211/M24Kovacs (hist) [719 bytes] Jacques (talk | contribs) (Created page with "I present a small language implementation which supports the following: dependent types, runtime code generation with cross-stage persistence and full type safety, a builtin m...")
- 14:45, 27 November 2024 WG211/M24Blazy (hist) [1,528 bytes] Sandrine (talk | contribs) (Created page with " This talk proposes a mechanized formal semantics for dataflow circuits: rather than following a static schedule predetermined at generation time, the execution of the com...")
- 23:44, 23 November 2024 WG211/M24Laemmel (hist) [2,986 bytes] Ralf (talk | contribs) (Created page with "Title: Type Inference in a Knowledge-Graph Setting Abstract: What’s the framework of attribute, context-free and regular grammars to the programming language researcher, t...")
- 14:17, 22 November 2024 WG211/M24Mosses (hist) [409 bytes] Peter (talk | contribs) (Initial version.)
- 20:23, 21 November 2024 WG211/M24Kuper (hist) [889 bytes] Jeremy-y (talk | contribs) (Created page with "Choreographic programming (CP) is an emerging paradigm for programming distributed applications that run on multiple nodes. In CP, the programmer writes one program, called a...") originally created as "WG21//M24Kuper"
- 17:06, 20 November 2024 WG211/M24Erdweg (hist) [904 bytes] Sebastian (talk | contribs) (Created page with "Differential operators map input changes to output changes, which can be used to implement efficient incremental computations. For example, differential operators for relation...")
- 16:59, 20 November 2024 WG211/M24Carette (hist) [1,286 bytes] Jacques (talk | contribs) (Created page with "Partial evaluation works by leveraging what is *static* in a given situation, namely the program itself and part of its input. The Futamura projections go further. For the fir...")
- 09:42, 18 November 2024 WG211/M24Steimann (hist) [554 bytes] Friedrich (talk | contribs) (Created page with "== A really old new metatheory of software languages == While Chomsky's language stack dominates the theory of software languages to this day, in linguistics, it was actually...")
- 14:59, 18 October 2024 WG211/M24Hammond (hist) [1,277 bytes] Jacques (talk | contribs) (Created page with "IOG has been deploying a variety of (lightweight) formal methods as part of its commitment to high assurance software engineering for the multi-billion dollar Cardano blockcha...")
- 15:14, 9 October 2024 WG211/M24Gibbons (hist) [97 bytes] Jeremy-g (talk | contribs) (Created page with "I'll talk about [[this paper][https://www.cs.ox.ac.uk/publications/publication14659-abstract.html]].")
- 10:10, 3 October 2024 WG211/M24Brady (hist) [509 bytes] Edwin (talk | contribs) (Created page with " == "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime == I will describe the progress on a new implementation of the Idris core, which aims...")
- 20:31, 24 September 2024 WG211/M24Schedule (hist) [16,959 bytes] Ralf (talk | contribs) (Created page with "Please put some dates here. — RL")
