The following pages link to Fudgets (Q22046):
Displayed 17 items.
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Similarity implies equivalence in a class of non-deterministic call-by-need lambda calculi (Q964003) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)
- Erratic Fudgets: A semantic theory for an embedded coordination language (Q1870854) (← links)
- Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec (Q1944119) (← links)
- (Q2740995) (← links)
- (Q2763390) (← links)
- Retrieving library functions by unifying types modulo linear isomorphism (Q4304554) (← links)
- Programming graphical user interfaces with Scheme (Q4460716) (← links)
- (Q4952320) (← links)
- (Q4993360) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
- A new notation for arrows (Q5178012) (← links)
- Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) (Q5240138) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
- Programming Languages and Systems (Q5464043) (← links)
- Implementation of Functional Languages (Q5466583) (← links)