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

Results for Jacques talk block log uploads logs

A user with 234 edits. Account created on 23 May 2012.

Jump to navigation Jump to search

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

15:4215:42, 23 November 2024 diff hist +11 Main Page fix link

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

14:5914:59, 28 October 2024 diff hist +27 WG211/M24Schedule →Attendance

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

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

21:3521:35, 2 October 2024 diff hist +72 WG211/M24Schedule →Attendance
21:3221:32, 2 October 2024 diff hist +7 WG211/M24Schedule →Attendance

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

19:5119:51, 17 May 2024 diff hist −55 Main Page Tony has resigned

14:0914:09, 20 March 2024 diff hist +17 WG211/M23Schedule →Talks
14:0814:08, 20 March 2024 diff hist +139 WG211/M23Schedule →Talks

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

18:3918:39, 26 February 2024 diff hist +14 WG211/M23Schedule →Attendance

15:1115:11, 25 February 2024 diff hist +16 WG211/M23Schedule →Attendance

22:2922:29, 16 February 2024 diff hist +11 WG211/M23Schedule →Attendance
16:3816:38, 16 February 2024 diff hist +76 WG211/M23Schedule →Attendance

14:4214:42, 26 January 2024 diff hist +16 WG211/M23Schedule →Attendance

22:5622:56, 25 January 2024 diff hist +33 WG211/M23Schedule →Attendance
17:2617:26, 25 January 2024 diff hist +68 WG211/M23Schedule →Attendance

20:1520:15, 1 December 2023 diff hist 0 Main Page →Current Members

14:0314:03, 30 July 2023 diff hist +50 Main Page →Current Members

21:0821:08, 28 July 2023 diff hist +139 Main Page →Current Members

11:5311:53, 28 April 2023 diff hist 0 WG211/M22Kammar No edit summary current
11:5311:53, 28 April 2023 diff hist 0 N File:Slides-delft-wg-2-11-partial-evaluation-algebra.pdf No edit summary current
11:5211:52, 28 April 2023 diff hist +787 N WG211/M22Kammar Created page with "Modern partial evaluation takes advantage of semantic invariants and properties to partially evaluate stuck open code fragments. In this talk, I will argue that the motivation..."
11:5111:51, 28 April 2023 diff hist +96 WG211/M22Schedule →Monday April 3rd in Snijderzaal current

21:3221:32, 27 April 2023 diff hist +14 N File:Fischer-Delft-GrammarRepair.pptx Bernd's slides current
21:3221:32, 27 April 2023 diff hist +79 WG211/M222Fischer No edit summary current
21:3021:30, 27 April 2023 diff hist +1,120 N WG211/M222Fischer Created page with "Grammars are software too, but like other software they can contain bugs, too. How can we automatically find, and more importantly, fix these bugs? This talk describes gfixr,..."
20:2820:28, 27 April 2023 diff hist +18 N File:DatalogDebugging.pdf Sebastian's slides current
20:2720:27, 27 April 2023 diff hist +1,150 N WG211/M22Erdweg Created page with "Datalog is often used as a programming language nowadays, with complex programs consisting of numerous inter-dependent predicates. But Datalog lacks interactive debugging tech..." current
19:5819:58, 27 April 2023 diff hist +65 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
18:4918:49, 27 April 2023 diff hist −1 WG211/M22Yallop No edit summary current
18:4918:49, 27 April 2023 diff hist +18 N File:Macros.pdf Slides from Jeremy current
18:4818:48, 27 April 2023 diff hist +22 WG211/M22Yallop No edit summary
18:4818:48, 27 April 2023 diff hist +163 N WG211/M22Yallop Created page with "I'll describe work in progress to extend OCaml with support for typed, hygienic, compile-time computation, drawing inspiration and ideas from MetaOCaml and Racket."
18:4718:47, 27 April 2023 diff hist +1 WG211/M22Schedule →Tuesday April 4th in Timmanzaal
18:4618:46, 27 April 2023 diff hist +67 WG211/M22Schedule →Tuesday April 4th in Timmanzaal

21:3121:31, 3 April 2023 diff hist +22 WG211/M22Schedule →Monday April 3rd in Snijderzaal

Retrieved from "http://mw.hh.se/wg211/index.php?title=Special:Contributions/Jacques"

Navigation menu