Fudgets
From MaRDI portal
Cited in
(24)- CLEAN
- MANIFOLD
- 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
- FranTk
- Biglook
- 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?)
- TkGofer
- CoCaml
- Forms/3
- Retrieving library functions by unifying types modulo linear isomorphism
- Programming graphical user interfaces with Scheme
- scientific article; zbMATH DE number 1444739 (Why is no real title available?)
- Nominal unification with atom and context variables
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let
- A new notation for arrows
- 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
- Programming Languages and Systems
- Implementation of Functional Languages
- On generic context lemmas for higher-order calculi with sharing
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi
- Closures of may-, should- and must-convergences for contextual equivalence
This page was built for software: Fudgets
