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
- Monads in Common Lisp + (newton.16.monad.report)
- Efficient Dynamic Type Checking of Heterogeneous Sequences + (newton.16.rte.report)
- Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set + (newton.17.dtd.report)
- Programmatic Manipulation of Common Lisp Type Specifiers + (newton.17.els)
- Approaches in Typecase Optimization + (newton.18.els)
- Recognizing Heterogeneous Sequences by Rational Type Expression + (newton.18.meta)
- Representing and Computing with Types in Dynamically Typed Languages + (newton.18.phd)
- A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams + (newton.18.tocl)
- Finite Automata Theory Based Optimization of Conditional Variable Binding + (newton.19.els)
- Performance Comparison of Several Folding Strategies + (newton.20.tfp)
- A Portable, Simple, Embeddable Type System + (newton.21.els)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map + (newton.22.ifl)
- Implementation of transducers in Vaucanson + (o-connor.04.seminar)
- Implementation of transducers in Vaucanson + (o-connor.04.seminar)
- Images taxonomy and modeling + (odou.05.seminar)
- Images taxonomy and modeling + (odou.05.seminar)
- Données, Transparence et Démocratie + (or.22.transparence)
- Implementing a C++ extension with Transformers: class namespace + (ordy.08.seminar)
- Implémentation d'une extension du C++ dans Transformers: class namespace + (ordy.08.seminar)
- Adding Contracts to C++ with Transformers + (ordy.09.seminar)
- Ajout de la programmation par contrats au C++ avec Transformers + (ordy.09.seminar)