[Haskell-cafe] Finall Call For Papers (DSL WC)

Chair: Jeremy Gibbons, Oxford University Publicity Chair: Emir Pasalic, LogicBlox___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] First Call for Papers: DSL WC

, University of Pennsylvania * Organizers - General Chair: Jeremy Gibbons, Oxford University - Publicity Chair: Emir Pasalic, LogicBlox___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: "GADT" rhymes with "cat"

And is the plural 'gatte'? :) On Mar 16, 2008, at 11:18 PM, Anton van Straaten wrote: Ashley Yakeley wrote: Anton van Straaten wrote: Those who believe that GADTs are unnecessary might appreciate the guttural pronunciation of "gat": which is something like "chut" where the "ch" is similar

[Haskell-cafe] First Call for Papers -- GPCE'08

Chair: Jeremy Siek (University of Colorado at Boulder) Satellite Chair: Ralf Lammel (Univ. Koblenz-Landau) Publicity Chair: Emir Pasalic (LogicBlox, Inc.) Program Committee David Abrahams (Boost Consulting) Uwe Assmann (Technische Universitat, Dresden) Ira Baxter (Semantic Designs, USA) M