References in zbMATH (referenced in 17 articles )

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

  1. Schmidt-Schauß, Manfred; Sabel, David: Nominal unification with atom and context variables (2018)
  2. Schmidt-Schauß, Manfred; Sabel, David: Contextual equivalences in call-by-need and call-by-name polymorphically typed calculi (preliminary report) (2014)
  3. Schmidt-Schauß, Manfred; Sabel, David; Machkasova, Elena: Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (2011)
  4. Mann, Matthias; Schmidt-Schauß, Manfred: Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (2010)
  5. Schmidt-Schauß, Manfred; Sabel, David: On generic context lemmas for higher-order calculi with sharing (2010)
  6. Schmidt-Schauß, Manfred; Sabel, David: Closures of may-, should- and must-convergences for contextual equivalence (2010)
  7. Schmidt-Schauss; Manfred; Sabel, David; Schütz, Marko: Deciding inclusion of set constants over infinite non-strict data structures (2007)
  8. Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus: Generic graphical user interfaces (2004)
  9. Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus; van Weelden, Arjen: Automatic generation of editors for higher-order data structures (2004)
  10. Gallesio, Erick; Serrano, Manuel: Programming graphical user interfaces with Scheme (2003)
  11. Moran, Andrew; Sands, David; Carlsson, Magnus: Erratic Fudgets: A semantic theory for an embedded coordination language (2003)
  12. Achten, Peter; Jones, Simon Peyton: Porting the clean object I/O library to Haskell (2001)
  13. Burnett, Margaret; Atwood, John; Djang, Rebecca Walpole; Reichwein, James; Gottfried, Herkimer; Yang, Sherry: Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm (2001)
  14. Paterson, Ross: A new notation for arrows (2001)
  15. Sage, Meurig: FranTk -- a declarative GUI language for Haskell (2000) ioport
  16. Thompson, Simon: Constructive interval temporal logic in Alf (2000)
  17. Rittri, M.: Retrieving library functions by unifying types modulo linear isomorphism (1993)