References in zbMATH (referenced in 560 articles , 3 standard articles )

Showing results 1 to 20 of 560.
Sorted by year (citations)

1 2 3 ... 26 27 28 next

  1. Abel, Andreas; Adelsberger, Stephan; Setzer, Anton: Interactive programming in Agda-objects and graphical user interfaces (2017)
  2. Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique: A formal, resource consumption-preserving translation of actors to Haskell (2017)
  3. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  4. Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy: Friends with benefits. Implementing corecursion in foundational proof assistants (2017)
  5. Butterfield, Andrew: Utpcalc -- a calculator for UTP predicates (2017)
  6. Edelmann, Romain; Bliudze, Simon; Sifakis, Joseph: Functional BIP: embedding connectors in functional programming languages (2017)
  7. Ferreira, Francisco; Pientka, Brigitte: Programs using syntax with first-class binders (2017)
  8. Gerdes, Alex; Heeren, Bastiaan; Jeuring, Johan; van Binsbergen, L. Thomas: Ask-elle: an adaptable programming tutor for Haskell giving automated feedback (2017) MathEduc
  9. Gibbons, Jeremy: Aplicative programming with Naperian functors (2017)
  10. Guéneau, Armaël; Myreen, Magnus O.; Kumar, Ramana; Norrish, Michael: Verified characteristic formulae for CakeML (2017)
  11. Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan: Stream differential equations: specification formats and solution methods (2017)
  12. Leinberger, Martin; Lämmel, Ralf; Staab, Steffen: The essence of functional programming on semantic data (2017)
  13. Lucas, Salvador; Meseguer, José: Dependency pairs for proving termination properties of conditional term rewriting systems (2017)
  14. Meseguer, José; Skeirik, Stephen: Equational formulas and pattern operations in initial order-sorted algebras (2017)
  15. Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał: Learning nominal automata (2017)
  16. Padovani, Luca: Context-free session type inference (2017)
  17. Sato, Ryosuke; Kobayashi, Naoki: Modular verification of higher-order functional programs (2017)
  18. Smallbone, Nicholas; Johansson, Moa; Claessen, Koen; Algehed, Maximilian: Quick specifications for the busy programmer (2017)
  19. Stefan, Deian; Mazières, David; Mitchell, John C.; Russo, Alejandro: Flexible dynamic information flow control in the presence of exceptions (2017)
  20. Sternagel, Christian; Sternagel, Thomas: Certifying confluence of quasi-decreasing strongly deterministic conditional term rewrite systems (2017)

1 2 3 ... 26 27 28 next