User contributions for Jacques
From WG 2.11
Jump to navigationJump to search
3 November 2025
- 18:2518:25, 3 November 2025 diff hist +185 WG211/M25Schedule →Talks and Schedule
- 18:1818:18, 3 November 2025 diff hist +143 WG211/M25Schedule →Talks and Schedule
31 October 2025
- 19:2319:23, 31 October 2025 diff hist +552 N WG211/M25Carette Created page with "Notions of derivative abound in functional programming. An obvious question arises: what about integrals? It turns out that folds are the analogous concept. Pursuing the analogy leads us to a proper notion of "definite fold" corresponding to definite integrals (and sums and products and ...). Many concepts are needed along the way (Route, Pointed type, etc). In return, incremental and parallel versions of fold arise naturally. The correct notion of indefinite fold is a l..." current
- 19:2319:23, 31 October 2025 diff hist +38 WG211/M25Schedule →Talks and Schedule
- 19:1919:19, 31 October 2025 diff hist +18 WG211/M25Schedule →Talks and Schedule
- 19:1519:15, 31 October 2025 diff hist +76 WG211/M25Schedule →Talks and Schedule Tag: Visual edit
22 September 2025
8 September 2025
27 August 2025
- 16:5316:53, 27 August 2025 diff hist 0 WG211/M25Schedule →Members attending
- 15:1315:13, 27 August 2025 diff hist 0 Main Page →Current Members
- 15:1115:11, 27 August 2025 diff hist −130 Main Page →Current Members
6 August 2025
- 16:5616:56, 6 August 2025 diff hist +131 WG211/M25Schedule →Observers
- 16:5116:51, 6 August 2025 diff hist +18 WG211/M25Schedule →Members attending
30 December 2024
- 20:1720:17, 30 December 2024 diff hist −3,084 Main Page remove a lot of dead stuff
4 December 2024
- 12:1912:19, 4 December 2024 diff hist −2 WG211/M24Schedule →Scientific program
- 12:1612:16, 4 December 2024 diff hist +1 WG211/M24Schedule →Program / schedule
- 10:1410:14, 4 December 2024 diff hist +1 WG211/M24Schedule →Scientific program
3 December 2024
- 18:2618:26, 3 December 2024 diff hist −3 WG211/M24Schedule →Scientific program
- 14:5314:53, 3 December 2024 diff hist −4 WG211/M24Schedule →Talks
1 December 2024
- 17:3817:38, 1 December 2024 diff hist +1,107 N WG211/M24Rompf 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..." current
29 November 2024
- 14:5914:59, 29 November 2024 diff hist +553 N WG211/M24Allais 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..." current
- 14:5814:58, 29 November 2024 diff hist +48 WG211/M24Schedule →Talks
28 November 2024
- 20:0620:06, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
- 20:0620:06, 28 November 2024 diff hist −21 WG211/M24Schedule →Attendance
- 20:0420:04, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
- 20:0320:03, 28 November 2024 diff hist +719 N WG211/M24Kovacs 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..." current
- 20:0320:03, 28 November 2024 diff hist +84 WG211/M24Schedule →Talks
- 20:0220:02, 28 November 2024 diff hist 0 WG211/M24Schedule →Attendance
23 November 2024
- 15:4215:42, 23 November 2024 diff hist +11 Main Page fix link
20 November 2024
- 16:5916:59, 20 November 2024 diff hist +1,286 N WG211/M24Carette 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..." current
- 16:5716:57, 20 November 2024 diff hist +90 WG211/M24Schedule →Talks
28 October 2024
18 October 2024
- 14:5914:59, 18 October 2024 diff hist +1,277 N WG211/M24Hammond 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..." current
- 14:5814:58, 18 October 2024 diff hist +1 WG211/M24Schedule →Talks
- 14:5814:58, 18 October 2024 diff hist +174 WG211/M24Schedule →Talks
- 14:5714:57, 18 October 2024 diff hist +16 WG211/M24Schedule →Attendance
3 October 2024
- 21:4121:41, 3 October 2024 diff hist +19 WG211/M24Schedule →Attendance
- 21:2521:25, 3 October 2024 diff hist +89 WG211/M24Schedule →Talks
- 21:2421:24, 3 October 2024 diff hist +14 WG211/M24Schedule →Attendance
2 October 2024
- 21:3521:35, 2 October 2024 diff hist +72 WG211/M24Schedule →Attendance
- 21:3221:32, 2 October 2024 diff hist +7 WG211/M24Schedule →Attendance
7 June 2024
- 21:4621:46, 7 June 2024 diff hist −7 Main Page →Current Activity
- 21:4621:46, 7 June 2024 diff hist +83 Main Page →Past Activity
17 May 2024
- 19:5119:51, 17 May 2024 diff hist −55 Main Page Tony has resigned
20 March 2024
- 14:0914:09, 20 March 2024 diff hist +17 WG211/M23Schedule →Talks
- 14:0814:08, 20 March 2024 diff hist +139 WG211/M23Schedule →Talks
8 March 2024
- 22:4622:46, 8 March 2024 diff hist +1,245 N WG211/M23Carette 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..." current
- 22:3522:35, 8 March 2024 diff hist +90 WG211/M23Schedule →Talks
