Fudgets
From MaRDI portal
Software:22046
swMATH10077MaRDI QIDQ22046FDOQ22046
Author name not available (Why is that?)
Cited In (17)
- Title not available (Why is that?)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
- Title not available (Why is that?)
- Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
- Erratic Fudgets: A semantic theory for an embedded coordination language
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
- Closures of may-, should- and must-convergences for contextual equivalence
- Programming graphical user interfaces with Scheme
- Implementation of Functional Languages
- Retrieving library functions by unifying types modulo linear isomorphism
- A new notation for arrows
- Title not available (Why is that?)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)
- Deciding inclusion of set constants over infinite non-strict data structures
- On generic context lemmas for higher-order calculi with sharing
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let
- Programming Languages and Systems
This page was built for software: Fudgets
