Recent changes
From WG 2.11
Track the most recent changes to the wiki on this page.
4 December 2024
| 17:14 | WG211/M24Schedule (4 changes | history) . . (+1) . . [Ralf; Jacques (3×)] | |
| 17:14 (cur | prev) . . (+1) . . Ralf (talk | contribs) | ||
| 12:19 (cur | prev) . . (-2) . . Jacques (talk | contribs) (→Scientific program) | ||
| 12:16 (cur | prev) . . (+1) . . Jacques (talk | contribs) (→Program / schedule) | ||
| 10:14 (cur | prev) . . (+1) . . Jacques (talk | contribs) (→Scientific program) |
3 December 2024
| 18:26 | WG211/M24Schedule (4 changes | history) . . (+10) . . [Nada; Jeremy-y; Jacques (2×)] | |
| 18:26 (cur | prev) . . (-3) . . Jacques (talk | contribs) (→Scientific program) | ||
| 14:53 (cur | prev) . . (-4) . . Jacques (talk | contribs) (→Talks) | ||
| 08:36 (cur | prev) . . (-8) . . Jeremy-y (talk | contribs) (Programme for Tuesday) | ||
| 07:01 (cur | prev) . . (+25) . . Nada (talk | contribs) (→Talks) |
| N 14:26 | WG211M24Lindley (diff | hist) . . (+644) . . Ohad (talk | contribs) (Sam Lindley's abstract) |
| N 14:25 | WG211M24Shaikhha (diff | hist) . . (+1,397) . . Ohad (talk | contribs) (Amir's abstract) |
2 December 2024
1 December 2024
| N 17:38 | WG211/M24Rompf (diff | hist) . . (+1,107) . . 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...") |
| N 10:25 | WG211/M23Reichenbach (diff | hist) . . (+703) . . Creichen (talk | contribs) (WG2.11/M24: Circular reference attribute evaluation) |
30 November 2024
| 20:11 | WG211/M24Schedule (3 changes | history) . . (+31) . . [Jeremy-y; Ohad (2×)] | |
| 20:11 (cur | prev) . . (0) . . Jeremy-y (talk | contribs) (make times internally consistent) | ||
| 20:01 (cur | prev) . . (+31) . . Ohad (talk | contribs) (→Scientific program) | ||
| 04:04 (cur | prev) . . (0) . . Ohad (talk | contribs) (→Scientific program) |
29 November 2024
| 21:08 | WG211/M24Schedule (13 changes | history) . . (+3,410) . . [Jacques; Sven-Bodo; Creichen; Ohad (10×)] | |
| 21:08 (cur | prev) . . (0) . . Ohad (talk | contribs) (→Excursion) | ||
| 21:07 (cur | prev) . . (+1) . . Ohad (talk | contribs) (→Excursion) | ||
| 21:06 (cur | prev) . . (-139) . . Ohad (talk | contribs) (→December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK) | ||
| 21:05 (cur | prev) . . (+2,680) . . Ohad (talk | contribs) (→Social events) | ||
| 17:06 (cur | prev) . . (+145) . . Sven-Bodo (talk | contribs) (→Talks) | ||
| 14:58 (cur | prev) . . (+48) . . Jacques (talk | contribs) (→Talks) | ||
| 14:40 (cur | prev) . . (+92) . . Ohad (talk | contribs) (→Weather) | ||
| 14:26 (cur | prev) . . (+139) . . Ohad (talk | contribs) (→Scientific program) | ||
| m | 14:20 (cur | prev) . . (+6) . . Ohad (talk | contribs) (→Scientific program) | |
| 14:19 (cur | prev) . . (+14) . . Ohad (talk | contribs) (→Scientific program) | ||
| 14:19 (cur | prev) . . (+252) . . Ohad (talk | contribs) (→Scientific program) | ||
| 11:33 (cur | prev) . . (+115) . . Creichen (talk | contribs) | ||
| 08:53 (cur | prev) . . (+57) . . Ohad (talk | contribs) (→Local Observers: Add remainder of observers) |
| N 17:13 | WG211/M24Scholz (5 changes | history) . . (+890) . . [Sven-Bodo (5×)] | |
| 17:13 (cur | prev) . . (-2) . . Sven-Bodo (talk | contribs) | ||
| 17:11 (cur | prev) . . (+57) . . Sven-Bodo (talk | contribs) | ||
| 17:10 (cur | prev) . . (+6) . . Sven-Bodo (talk | contribs) | ||
| 17:09 (cur | prev) . . (+105) . . Sven-Bodo (talk | contribs) | ||
| N | 17:08 (cur | prev) . . (+724) . . 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...") |
| N 14:59 | WG211/M24Allais (diff | hist) . . (+553) . . 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...") |
28 November 2024
| 20:27 | WG211/M24Schedule (7 changes | history) . . (+196) . . [Ohad; Nada; Jacques (5×)] | |
| 20:27 (cur | prev) . . (+73) . . Ohad (talk | contribs) (→Talks: add ohads talk) | ||
| 20:06 (cur | prev) . . (0) . . Jacques (talk | contribs) (Ordering) | ||
| 20:06 (cur | prev) . . (-21) . . Jacques (talk | contribs) (→Attendance) | ||
| 20:04 (cur | prev) . . (0) . . Jacques (talk | contribs) (Ordering) | ||
| 20:03 (cur | prev) . . (+84) . . Jacques (talk | contribs) (→Talks) | ||
| 20:02 (cur | prev) . . (0) . . Jacques (talk | contribs) (→Attendance) | ||
| 02:27 (cur | prev) . . (+60) . . Nada (talk | contribs) (→Talks) |
| N 20:03 | WG211/M24Kovacs (diff | hist) . . (+719) . . 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...") |
27 November 2024
| N 14:48 | WG211/M24Blazy (3 changes | history) . . (+1,528) . . [Sandrine (3×)] | |
| 14:48 (cur | prev) . . (-1) . . Sandrine (talk | contribs) | ||
| 14:45 (cur | prev) . . (-1) . . Sandrine (talk | contribs) | ||
| N | 14:45 (cur | prev) . . (+1,530) . . 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...") |
| 14:42 | WG211/M24Schedule (2 changes | history) . . (+84) . . [Sandrine (2×)] | |
| 14:42 (cur | prev) . . (0) . . Sandrine (talk | contribs) (→Talks) | ||
| 14:41 (cur | prev) . . (+84) . . Sandrine (talk | contribs) (→Talks) |
