„Functional Programming“

Suchergebnisse

608 Treffer

• Functional and Logic Programming – 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
  Gibbons, Jeremy ; Miller, Dale 2024 Springer Nature Singapore, Imprint: Springer
• Trends in Functional Programming – 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
  2021 Springer International Publishing
• Functional and Constraint Logic Programming – 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
  2021 Springer International Publishing
• Functional and Logic Programming – 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings
  2020 Springer International Publishing
• Trends in Functional Programming – 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
  2020 Springer International Publishing
• Funktionale Programmierung verstehen – Konzepte und Entwurfsmuster für guten Code
  Widman, Jack 2023 Rheinwerk Verlag
• Functional and Logic Programming – 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
  Kiselyov, Oleg ; King, Andrew Malcolm 2016 Springer International Publishing
• A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
  Lindley, Sam ; McBride, Conor ; Trinder, Phil ; Sannella, Donald 2016 Springer International Publishing
• Bridging the Gap between Requirements Engineering and Software Architecture – A Problem-Oriented and Quality-Driven Method
  Alebrahim, Azadeh 2017 Springer Fachmedien Wiesbaden
• Trends in Functional Programming – 24th International Symposium, TFP 2023, Boston, MA, USA, January 13–15, 2023, Revised Selected Papers
  2023 Springer Nature Switzerland
• Trends in Functional Programming – 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, Revised Selected Papers
  Hemann, Jason ; Chang, Stephen 2025 Springer Nature Switzerland, Imprint: Springer
• The Power of Project Leadership – 7 Keys to Help You Transform from Project Manager to Project Leader
  Madsen, Susanne 2019 Kogan Page Ltd
• The Power of Project Leadership – 7 Keys to Help You Transform from Project Manager to Project Leader
  Madsen, Susanne 2019 Kogan Page Ltd
• Compiler Design – Syntactic and Semantic Analysis
  Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin
• A functional size measurement method for object-oriented conceptual schemas: design and evaluation issues
  Abrahão, Silvia ; Poels, Geert ; Pastor, Oscar
• Quadratic programming with one quadratic constraint in Hilbert spaces
  Gonzalez Zerbo, Santiago ; Maestripieri, Alejandra ; Martínez Pería, Francisco
• Compositional Static Value Analysis for Higher-Order Numerical Programs
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Algebra of Patterns
  Binder, David ; Ermantraut, Lean 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Algebra of Patterns - Rocq Proofs (Artifact)
  Binder, David ; Ermantraut, Lean
• Compositional Static Value Analysis for Higher-Order Numerical Programs (Artifact)
  Valnet, Milla ; Monat, Raphaël ; Miné, Antoine