„higher-order programming“

Suchergebnisse

73 Treffer

• Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
  Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru 2017 Springer International Publishing
• Compositional Static Value Analysis for Higher-Order Numerical Programs
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine
• Set-valued minimax programming problems under higher-order $$\sigma $$ σ -arcwisely connectivity
  Das, Koushik
• Theory and Practice of Higher-Order Parallel Programming (Dagstuhl Seminar 9708)
  Cole, Murray ; Gorlatch, Sergei ; Lengauer, Christian ; Skillicorn, David 1997 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• lambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper)
  Li, Beidi ; Bhatt, Mehul ; Schultz, Carl 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)
  Vignudelli, Valeria 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-Order Demand-Driven Program Analysis
  Palmer, Zachary ; Smith, Scott F. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Coalgebras and Higher-Order Computation: a GoI Approach
  Hasuo, Ichiro 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Higher-order Logic Learning and lambda-Progol
  Pahlavi, Niels 2010 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fighting bit Rot with Types (Experience Report: Scala Collections)
  Odersky, Martin ; Moors, Adriaan 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming languages and systems – proceedings
  Seidl, Helmut 2012 Springer
• Generalized Preinvexity and Second Order Duality in Multiobjective Programming
  Yang, Xinmin 2018 Springer International Publishing
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Higher-order duality for a class of nondifferentiable multiobjective programming problems involving generalized type I and related functions
  Mishra, S. K. ; Wang, Shouyang ; Lai, Kin Keung
• Extending a brainiac prover to lambda-free higher-order logic
  Vukmirović, Petar ; Blanchette, Jasmin ; Cruanes, Simon ; Schulz, Stephan
• A calculus for higher order concurrent constraint programming with deep guards
  Smolka, Gert 1994 DFKI
• A foundation for higher-order concurrent constraint programming
  Smolka, Gert 1994 DFKI
• Higher-order constraint logic programming
  Wang, Kang
• Higher Order Forward Rate Agreements and the Smoothness of the Term Structure
  Jaschke, Stefan R. 1998 Humboldt-Universität zu Berlin