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 4311 of page Publications:How to add laziness to a strict language without even being odd patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4309 of page Publications:Multi-Stage Programming with Explicit Annotations patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4310 of page Publications:MetaML and multi-stage programming with explicit annotations patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4307 of page Publications:Modeling Basic Aspects of Cyber-Physical Systems patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4308 of page Publications:Static Consistency Checking for Verilog Wire Interconnects patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4305 of page Publications:Tag Elimination and Jones-Optimality patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4306 of page Publications:Environment Classifiers patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4303 of page Publications:Staged Notational Definitions patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4304 of page Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4301 of page Publications:The Anatomy of a Component Generator patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4302 of page Publications:Directions in Functional Programming for Real(-Time) Applications patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4300 of page Publications:Generating Heap-bounded Programs in a Functional Setting patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4298 of page Publications:A First Course on Cyber Physical Systems patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4299 of page Publications:A New Approach to Data Mining for Software Design patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4296 of page Publications:Some Challenges for Model-Based Simulation patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4297 of page Publications:The Trouble with Real Numbers patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4294 of page Publications:Resource-Aware Programming - Invited paper patrolled
• 04:45, 26 June 2014 Slawek (Talk | contribs) automatically marked revision 4295 of page Publications:Multi-Stage Programming : Axiomatization and Type-Safety patrolled
• 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

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