The following pages link to (Q4414308):
Displaying 50 items.
- Haskell (Q16052) (← links)
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Finding linear dependencies in integration-by-parts equations: a Monte Carlo approach (Q314201) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- A Church-style intermediate language for ML\(^{\text F}\) (Q428892) (← links)
- Core FOBS: A hybrid functional and object-oriented language (Q456463) (← links)
- The saga of minimum spanning trees (Q458468) (← links)
- The interaction of contracts and laziness (Q526445) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- A language for generic programming in the large (Q532409) (← links)
- Lazy productivity via termination (Q549188) (← links)
- Imperative abstractions for functional actions (Q604455) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- Simple and safe SQL queries with \texttt{C++} templates (Q608241) (← links)
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)
- Making ``stricterness'' more relevant (Q656871) (← links)
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- Refined typing to localize the impact of forced strictness on free theorems (Q766167) (← links)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
- Nonrealizable minimal vertex triangulations of surfaces: showing nonrealizability using oriented matroids and satisfiability solvers (Q848679) (← links)
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- A principled approach to programming with nested types in Haskell (Q848745) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Generalising the array split obfuscation (Q867610) (← links)
- Costing stepwise refinements of parallel programs (Q875957) (← links)
- Deaccumulation techniques for improving provability (Q882487) (← links)
- Generic programming in 3D (Q923888) (← links)
- Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types (Q929967) (← links)
- Modules over monads and initial semantics (Q964503) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Type-directed weaving of aspects for polymorphically typed functional languages (Q988192) (← links)
- Type inference and strong static type checking for Promela (Q988201) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Symmetric matroid polytopes and their generation (Q1041595) (← links)
- Short variable length domain extenders with beyond birthday bound security (Q1633453) (← links)
- State separation for code-based game-playing proofs (Q1710673) (← links)
- A generalized SXP rule proved by bijections and involutions (Q1712900) (← links)
- Complete Elgot monads and coalgebraic resumptions (Q1744384) (← links)
- Combining deep and shallow embedding of domain-specific languages (Q1749137) (← links)
- A short cut to optimal sequences (Q1758658) (← links)
- Real number computation with committed choice logic programming languages (Q1779564) (← links)
- More dependent types for distributed arrays (Q1929345) (← links)
- A functional approach to generic programming using adaptive traversals (Q1929347) (← links)
- Dynamic slicing of lazy functional programs based on redex trails (Q2271904) (← links)
- View-based propagator derivation (Q2342586) (← links)
