Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams +
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set +
- Approaches in Typecase Optimization +
- Approche fonctionnelle de la généricité du traitement d'image +
- Beating C in Scientific Computing Applications +
- Binary Methods Programming: the CLOS Perspective +
- Binary Methods Programming: the CLOS Perspective (extended version) +
- CLIMB: A Dynamic Approach To Generic Image Processing +
- CLIMB: Une approche dynamique du traitement générique d'images +
- CLOS Efficiency: Instantiation +
- CLOS solutions to binary methods +
- Context-Oriented Image Processing +
- Efficient Dynamic Type Checking of Heterogeneous Sequences +
- Extensible languages: blurring the distinction between DSLs and GPLs +
- Finding Maximal Common Joins in a DAG +
- Finite Automata Theory Based Optimization of Conditional Variable Binding +
- Functionnal approach of image processing genericity +
- Generic Image Processing with Climb +
- How to make Lisp go faster than C +
- How to make Lisp go faster than C +
- Implementing Baker's SUBTYPEP decision procedure +
- Jobs/M2 2015 DV Conception DSL +
- Jobs/M2 2015 DV Lisp For Statistics +
- Jobs/M2 2016 DV Profiling for Climb +
- Jobs/M2 2016 DV Qt for Climb +
- Jobs/M2 2017 DV QuickRefs +
- Jobs/M2 2018 DV RTE +
- Jobs/M2 DV 2014 conception-dsl +
- Jobs/M2 DV 2014 conception-dsl/fr +
- Jobs/M2 DV 2014 lisp-statistiques +
- Jobs/M2 DV 2014 lisp-statistiques/fr +
- Jobs/SPE DV 2015 interface graphique Qt +
- La généricité par propriétés +
- Method Combinators +
- Monads in Common Lisp +
- People/Christopher Chedeau +
- People/Didier Verna +
- People/François Ripault +
- People/Laurent Senta +
- People/Loïc Dénuzière +
- Programmatic Manipulation of Common Lisp Type Specifiers +
- Property-Based Genericity: A Dynamic Approach +
- Recognizing Heterogeneous Sequences by Rational Type Expression +
- Representing and Computing with Types in Dynamically Typed Languages +
- Revisiting the Visitor: the Just Do It Pattern +
- Revisiting the Visitor: the Just Do It Pattern +
- Type-Checking of Heterogeneous Sequences in Common Lisp +