On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
User contributions for Jacques
From WG 2.11
Jump to navigationJump to search
22 September 2025
8 September 2025
27 August 2025
- 17:5317:53, 27 August 2025 diff hist 0 WG211/M25Schedule →Members attending
- 16:1316:13, 27 August 2025 diff hist 0 Main Page →Current Members current
- 16:1116:11, 27 August 2025 diff hist −130 Main Page →Current Members
6 August 2025
- 17:5617:56, 6 August 2025 diff hist +131 WG211/M25Schedule →Observers
- 17:5117:51, 6 August 2025 diff hist +18 WG211/M25Schedule →Members attending
30 December 2024
- 21:1721:17, 30 December 2024 diff hist −3,084 Main Page remove a lot of dead stuff
4 December 2024
- 13:1913:19, 4 December 2024 diff hist −2 WG211/M24Schedule →Scientific program
- 13:1613:16, 4 December 2024 diff hist +1 WG211/M24Schedule →Program / schedule
- 11:1411:14, 4 December 2024 diff hist +1 WG211/M24Schedule →Scientific program
3 December 2024
- 19:2619:26, 3 December 2024 diff hist −3 WG211/M24Schedule →Scientific program
- 15:5315:53, 3 December 2024 diff hist −4 WG211/M24Schedule →Talks
1 December 2024
- 18:3818: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
- 15:5915: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
- 15:5815:58, 29 November 2024 diff hist +48 WG211/M24Schedule →Talks
28 November 2024
- 21:0621:06, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
- 21:0621:06, 28 November 2024 diff hist −21 WG211/M24Schedule →Attendance
- 21:0421:04, 28 November 2024 diff hist 0 WG211/M24Schedule Ordering
- 21:0321: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
- 21:0321:03, 28 November 2024 diff hist +84 WG211/M24Schedule →Talks
- 21:0221:02, 28 November 2024 diff hist 0 WG211/M24Schedule →Attendance
23 November 2024
- 16:4216:42, 23 November 2024 diff hist +11 Main Page fix link
20 November 2024
- 17:5917: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
- 17:5717:57, 20 November 2024 diff hist +90 WG211/M24Schedule →Talks
28 October 2024
18 October 2024
- 15:5915: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
- 15:5815:58, 18 October 2024 diff hist +1 WG211/M24Schedule →Talks
- 15:5815:58, 18 October 2024 diff hist +174 WG211/M24Schedule →Talks
- 15:5715:57, 18 October 2024 diff hist +16 WG211/M24Schedule →Attendance
3 October 2024
- 22:4122:41, 3 October 2024 diff hist +19 WG211/M24Schedule →Attendance
- 22:2522:25, 3 October 2024 diff hist +89 WG211/M24Schedule →Talks
- 22:2422:24, 3 October 2024 diff hist +14 WG211/M24Schedule →Attendance
2 October 2024
- 22:3522:35, 2 October 2024 diff hist +72 WG211/M24Schedule →Attendance
- 22:3222:32, 2 October 2024 diff hist +7 WG211/M24Schedule →Attendance
7 June 2024
- 22:4622:46, 7 June 2024 diff hist −7 Main Page →Current Activity
- 22:4622:46, 7 June 2024 diff hist +83 Main Page →Past Activity
17 May 2024
- 20:5120:51, 17 May 2024 diff hist −55 Main Page Tony has resigned
20 March 2024
- 15:0915:09, 20 March 2024 diff hist +17 WG211/M23Schedule →Talks
- 15:0815:08, 20 March 2024 diff hist +139 WG211/M23Schedule →Talks
8 March 2024
- 23:4623: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
- 23:3523:35, 8 March 2024 diff hist +90 WG211/M23Schedule →Talks
26 February 2024
25 February 2024
16 February 2024
- 23:2923:29, 16 February 2024 diff hist +11 WG211/M23Schedule →Attendance
- 17:3817:38, 16 February 2024 diff hist +76 WG211/M23Schedule →Attendance
26 January 2024
25 January 2024
- 23:5623:56, 25 January 2024 diff hist +33 WG211/M23Schedule →Attendance
- 18:2618:26, 25 January 2024 diff hist +68 WG211/M23Schedule →Attendance