User contributions for Geoff

18:4318:43, 24 March 2024 diff hist +736 N WG11/M23Johnson Created page with "A quantum computer is a collection of n qubits, which form a basis for a complex vector space of dimension 2^n. A quantum computation can be viewed as a Unitary matrix acting..." current
18:4218:42, 24 March 2024 diff hist +228 WG211/M23Schedule →Scientific program
18:3518:35, 24 March 2024 diff hist −6 WG211/M23Schedule →Scientific program
18:3518:35, 24 March 2024 diff hist +329 WG211/M23Schedule →IFIP Working Group 2.11, Twenty-third Meeting

18:4318:43, 20 March 2024 diff hist +893 N WG211/M23Weirich Created page with "Effect and coeffect tracking are a useful way to integrate many forms of compile-time analysis, such as cost, liveness or dataflow, into a language's type system. However, the..." current
18:4218:42, 20 March 2024 diff hist +44 WG211/M23Schedule →Talks
18:2718:27, 20 March 2024 diff hist +943 N WG211/M23Gordon Created page with "Many libraries and abstractions have constraints on the order in which programs perform certain operations. Sequential (flow-sensitive) effect systems are one powerful approac..." current
18:2718:27, 20 March 2024 diff hist +59 WG211/M23Schedule →Talks
16:4116:41, 20 March 2024 diff hist +15 WG211/M23Schedule →Social events
16:1616:16, 20 March 2024 diff hist +26 WG211/M23Schedule →Talks
16:1516:15, 20 March 2024 diff hist +70 WG211/M23Schedule →Talks

16:2816:28, 22 August 2023 diff hist +83 Main Page No edit summary
16:2716:27, 22 August 2023 diff hist +406 N WG211/M23Schedule Created page with "=IFIP Working Group 2.11, Twenty-third Meeting= == March 25th–28th 2024 in Philadelphia, Pennsylvania, USA == The meeting will be hosted by [https://www.cs.drexel.edu/~mai..."

Navigation menu