2003
Stc
2003-12-15 11:00 (MIN-012)
Rinus Plasmeijer -- Generic Graphical User Interfaces 2003-12-11 (BBL-505)
Faridah Liduan -- Embedding Postfix Languages in Haskell 2003-12-4 (BBL-505)
Dick Eimers -- Functional Programming in C++ 2003-11-27 (BBL-505)
Frank Atanassow -- Type Isomorphisms simplify XML programming 2003-11-20 (BBL-505)
Martin Bravenboer -- Connecting XML Processing and Term Rewriting with Tree Grammars 2003-11-17 at 16:00 (BBL-509)
Bill Foko -- Designing and implementing an OCL compiler 2003-11-13 (BBL-505)
Rui Guerra -- Preserving Order in Non-order Preserving Parsers 2003-11-6 (BBL-505)
Frank Dignum (Intelligent Systems Group)-- 3APL: A language for describing agent based systems? 2003-11-4, 10.30-11.30 (Transitorium I, Room C)
Erik Meijer (Microsoft)-- Programming with Rectangles, Triangles, and Circles? 2003-10-30 (BBL-505)
Andres Loeh -- Typesetting Haskell and more with lhs2TeX and Eelco Dolstra -- Subversion 2003-10-23 (BBL-505)
Armijn Hemel -- Buildfarms - An Essential Tool for Successful Software Projects 2003-10-16 (BBL-505)
Karina Olmos -- Xbayes: An optimizing component for the Autobayes Program Synthesis System 2003-10-9 (BBL-505)
Eelco Visser -- An Introduction to Program Transformation 2003-10-2 (BBL-505)
Wishnu Prasetya -- Program Verification 2003-9-25 (BBL-505)
Alexey Rodriguez -- Functional Reactive Programming 2003-9-18 (BBL-505)
Jurriaan Hage -- Constraint Based Type Inference in Helium 2003-9-11 (BBL-505)
Martijn Schrage -- Overview of the Proxima generic XML editor 2003-9-4 (BBL-505)
Doaitse Swierstra -- Polish Parsers, Step by Step? 2003-9-3 (CGN-C009) 14:00
Andre Pang (UNSW & CSRIO, Australia) -- Mocha -- An Objective-C binding for Haskell 2003-7-3 (C110 AARD)
Joost Rommes -- Attribute Redefinitions for Syntax Macros 2003-6-26 (C008 AARD)
Dave Clarke -- Spatial Logic: A Tutorial Introduction 2003-6-18 16:00 (509 BBL)
Chico Hau -- Webservices voor B2B 2003-6-19 (C008 AARD)
Ade Azurat -- xMECH Towards scalable software verification 2003-6-5 (C008 AARD)
Jan IJmker -- Dependency analysis in attribute grammars 2003-6-12 (C008 AARD)
Remco Vossen -- Object Persistence in J2EE 2003-5-22
Wishnu Prasetya -- Composing and Refining 2003-5-19
Wolfram Schulte (Microsoft Research) -- Unifying Tables Objects and Document 2003-5-15
Eelco Visser -- Collaborative Web Development with WikiWiki 2003-5-8
Andres Loeh -- Generic Programming in Haskell 2003-5-1
Bastiaan Heeren -- Type Inference Directives 2003-4-24
Lex Augusteijn (Phillips) -- Hardware-software co-design within Philips Research 2003-4-17
Joost Visser (SoftwareDistributions Improvers) -- JJTraveler and JJForester: generic traversal and generalized parsing support for Java 2003-4-10
Johan Jeuring -- The 57th IFIP WG 2.1 meeting 2003-4-3
Frank Atanassow -- Embedding XML Schema in Haskell 2003-3-27
Wouter Swierstra: "QuickCheck" 2003-3-20
Jurre Laven -- Typing Dynamic Web Applications 2003-3-17
Bernd Fischer (NASA/AMES) -- Schema-Based Synthesis of Data Analysis Programs 2003-3-13
Jurriaan Hage -- An Introduction to Coinduction 2003-3-6
Arthur Baars -- Typing Dynamic Typing 2003-2-27
Eelco Dolstra -- Concurrent Variants, Isolation, and Feature Models in Software Deployment 2003-2-20
Dave Clarke -- External Uniqueness 2003-2-13
Dave Clarke -- A proper tour requires at least four states 2003-1-23
Daan Leijen -- The Lazy Virtual Machine