All public logs

From CERES

Combined display of all available logs of CERES. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs

All public logs Block log Deletion log Import log Merge log Move log Patrol log Protection log Upload log User creation log User merge log User rights log Performer:  Target (title or user):   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4292 of page Publications:Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 00 : proceedings patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4293 of page Publications:Special issue of the Journal of Functional Programming on the Semantics, Applications, and Implementation of Program Generation patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4290 of page Publications:A Gentle Introduction to Multi-stage Programming, Part II patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4291 of page Publications:Semantics, Applications and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4289 of page Publications:Multi-Stage Programming : Its Theory and Applications patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4287 of page Publications:Domain-Specific Languages patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4288 of page Publications:A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation. : Or, the Theory of MetaML is Non-trivial patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4285 of page Publications:A Semantic Analysis of C++ Templates patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4286 of page Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4283 of page Publications:Gradual Typing for Functional Languages patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4284 of page Publications:Gradual typing for objects patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4281 of page Publications:Static Consistency Checking for Verilog Wire Interconnects : Using dependent types to check the sanity of verilog descriptions patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4282 of page Publications:Exploring the Design Space of Higher-Order Casts patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4279 of page Publications:Tagless Staged Interpreters for Typed Languages patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4280 of page Publications:Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4277 of page Publications:Idealized MetaML : Simpler, and More Expressive patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4278 of page Publications:Towards a Primitive Higher Order Calculus of Broadcasting Systems patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4276 of page Publications:Preface patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4274 of page Publications:A Methodology for Generating Verified Combinatorial Circuits patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4275 of page Publications:Relating FFTW and Split-Radix patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4272 of page Publications:Reasoning About Multi-Stage Programs patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4273 of page Publications:E-FRP with Priorities patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4270 of page Publications:Synthesizable high level hardware descriptions : using statically typed two-level languages to guarantee verilog synthesizability patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4271 of page Publications:Synthesizable High Level Hardware Descriptions patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4268 of page Publications:Concoqtion : Indexed Types Now! patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4269 of page Publications:Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4267 of page Publications:The Semantics of Graphical Languages patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4265 of page Publications:Implicitly Heterogeneous Multi-Stage Programming patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4266 of page Publications:Implicitly Heterogeneous Multi-stage Programming patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4263 of page Publications:Multi-Stage Programming for High-Level Description of Circuit Families patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4264 of page Publications:DSL Implementation in MetaOCaml, Template Haskell, and C++ patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4261 of page Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4262 of page Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4260 of page Publications:ML-like Inference for Classifiers patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4258 of page Publications:Preliminary Results in Virtual Testing for Smart Building patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4259 of page Publications:Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4256 of page Publications:Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4257 of page Publications:Virtual Testing for Smart Buildings patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4254 of page Publications:Timing Analysis of the Priority based FRP System patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4255 of page Publications:Logical Modalities and Multi-Stage Programming patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4253 of page Publications:Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4251 of page Publications:Sleep and night activities of care beneficiaries at the "Trygg om Natten" (Safe at Night) Project patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4252 of page Publications:A Serious Computer Game to Assist Tai Chi Training for the Elderly patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4249 of page Publications:A Database-Centric Architecture for Home-Based Health Monitoring patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4250 of page Publications:A "Smart Bedroom" as an Active Database System patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4247 of page Publications:Ordinateur porté : dispositifs d'entrée sortie patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4248 of page Publications:Dynamic Management of Input/Output Devices for Wearable Computers patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4245 of page Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4246 of page Publications:Integrating a data description language with protocol stack development patrolled
• 04:44, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4243 of page Publications:A Domain-Specific Language Approach to Protocol Stack Implementation patrolled

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)