References in zbMATH (referenced in 15 articles )

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

  1. Schmidt-Schauß, Manfred; Sabel, David; Machkasova, Elena: Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (2011)
  2. Mann, Matthias; Schmidt-Schauß, Manfred: Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (2010)
  3. Schmidt-Schauß, Manfred; Sabel, David: Closures of may-, should- and must-convergences for contextual equivalence (2010)
  4. Schmidt-Schauß, Manfred; Sabel, David: On generic context lemmas for higher-order calculi with sharing (2010)
  5. Schmidt-Schauss; Manfred; Sabel, David; Schütz, Marko: Deciding inclusion of set constants over infinite non-strict data structures (2007)
  6. Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus: Generic graphical user interfaces (2004)
  7. Achten, Peter; van Eekelen, Marko; Plasmeijer, Rinus; van Weelden, Arjen: Automatic generation of editors for higher-order data structures (2004)
  8. Gallesio, Erick; Serrano, Manuel: Programming graphical user interfaces with Scheme (2003)
  9. Moran, Andrew; Sands, David; Carlsson, Magnus: Erratic Fudgets: A semantic theory for an embedded coordination language (2003)
  10. Achten, Peter; Jones, Simon Peyton: Porting the clean object I/O library to Haskell (2001)
  11. 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)
  12. Paterson, Ross: A new notation for arrows (2001)
  13. Sage, Meurig: FranTk -- a declarative GUI language for Haskell (2000) ioport
  14. Thompson, Simon: Constructive interval temporal logic in Alf (2000)
  15. Rittri, M.: Retrieving library functions by unifying types modulo linear isomorphism (1993)