„Object Algebra“

Suchergebnisse

147 Treffer

• A Note on Gluing Cosilting Objects
  Sun, Yongliang ; Zhang, Yaohua
• Mechatronics by Bond Graphs – An Object-Oriented Approach to Modelling and Simulation
  Damić, Vjekoslav ; Montgomery, John 2015 Springer Berlin Heidelberg
• A formal approach to object-oriented software engineering
  Wirsing, Martin ; Knapp, Alexander 2002 Universität Augsburg
• A Formal Approach to Object-Oriented Software Engineering
  Wirsing, Martin ; Knapp, Alexander 1996 Universität Augsburg
• Investigations in Algebraic Theory of Combinatorial Objects
  1994 Springer Netherlands
• Iterative Relaxation Method to Obtain Global Transonic Flows around Compact Objects
  Sarkar, Shilpa ; Kulikov, I. M.
• Intersection Queries for Flat Semi-Algebraic Objects in Three Dimensions and Related Problems
  Agarwal, Pankaj K. ; Aronov, Boris ; Ezra, Esther ; Katz, Matthew J. ; Šārîr, Mîkā 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Revisiting linearly extended discrete functions
  Gravel, Claude ; Panario, Daniel
• Formalizing the Algebraic Small Object Argument in UniMath
  Hilhorst, Dennis ; North, Paige Randall 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Which Categories Are Varieties? ((Co)algebraic pearls)
  Adámek, Jiří ; Rosický, Jiří 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)
  Zhang, Weixin ; Oliveira, Bruno C. d. S.
• Frobenius Structures in Star-Autonomous Categories
  de Lacroix, Cédric ; Santocanale, Luigi 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Streams à la carte: Extensible Pipelines with Object Algebras (Artifact)
  Biboudis, Aggelos ; Palladinos, Nick ; Fourtounis, George ; Smaragdakis, Yannis
• Comprehension and Quotient Structures in the Language of 2-Categories
  Melliès, Paul-André ; Rolland, Nicolas 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Finally, a Polymorphic Linear Algebra Language (Pearl)
  Shaikhha, Amir ; Parreaux, Lionel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• List Objects with Algebraic Structure
  Fiore, Marcelo ; Saville, Philip 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
  Zhang, Weixin ; Oliveira, Bruno C. d. S. 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Streams a la carte: Extensible Pipelines with Object Algebras
  Biboudis, Aggelos ; Palladinos, Nick ; Fourtounis, George ; Smaragdakis, Yannis 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modules Over Monads and Their Algebras
  Pirog, Maciej ; Wu, Nicolas ; Gibbons, Jeremy 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compass – a comprehensive algebraic approach to system specification and development ; objectives, state of the art, references
  Krieg-Brückner, Bernd 1989 Univ.