User contributions for Geoff

17:4317: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
17:4217:42, 24 March 2024 diff hist +228 WG211/M23Schedule →Scientific program
17:3517:35, 24 March 2024 diff hist −6 WG211/M23Schedule →Scientific program
17:3517:35, 24 March 2024 diff hist +329 WG211/M23Schedule →IFIP Working Group 2.11, Twenty-third Meeting

17:4317: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
17:4217:42, 20 March 2024 diff hist +44 WG211/M23Schedule →Talks
17:2717: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
17:2717:27, 20 March 2024 diff hist +59 WG211/M23Schedule →Talks
15:4115:41, 20 March 2024 diff hist +15 WG211/M23Schedule →Social events
15:1615:16, 20 March 2024 diff hist +26 WG211/M23Schedule →Talks
15:1515:15, 20 March 2024 diff hist +70 WG211/M23Schedule →Talks

15:2815:28, 22 August 2023 diff hist +83 Main Page No edit summary
15:2715: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