Cited in
(24)- scientific article; zbMATH DE number 1444739 (Why is no real title available?)
- Deciding inclusion of set constants over infinite non-strict data structures
- Programming graphical user interfaces with Scheme
- Nominal unification with atom and context variables
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
- A new notation for arrows
- Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
- scientific article; zbMATH DE number 1691463 (Why is no real title available?)
- Programming Languages and Systems
- CLEAN
- MANIFOLD
- Biglook
- FranTk
- CoCaml
- TkGofer
- Forms/3
- Erratic Fudgets: A semantic theory for an embedded coordination language
- On generic context lemmas for higher-order calculi with sharing
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
- Implementation of Functional Languages
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
- Closures of may-, should- and must-convergences for contextual equivalence
- Retrieving library functions by unifying types modulo linear isomorphism
This page was built for software: Fudgets
