Keywords: هاسلل; Tracing; Debugging; Lazy evaluation; Haskell;
مقالات ISI هاسلل (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: هاسلل; Ambiguity; Context-dependent overloading; Haskell
Keywords: هاسلل; Directed graphs; Relation algebra; Reflexive-transitive closure; Rectangle; Functional programming; Haskell
Keywords: هاسلل; Bidirectional transformation; Free theorem; Type class; Haskell
Keywords: هاسلل; Attribute grammar macro; Extensible language; First-class attribute grammar; Attribute redefinition; Haskell
Keywords: هاسلل; Probability theory; Eindhoven quantifier notation; Hidden Markov Models; Monads; Haskell
MAC A verified static information-flow control library
Keywords: هاسلل; Information Flow Control; Non Interference; Functional Programming; Haskell; Agda;
QuickFuzz testing for fun and profit
Keywords: هاسلل; Testing; Fuzzing; Haskell; QuickCheck; D.1.1; D.2.5;
Functional BIP: Embedding connectors in functional programming languages
Keywords: هاسلل; BIP; Connectors; Dynamicity; Functional programming; Haskell; Scala;
Compositional compiler construction: Oberon0
Keywords: هاسلل; First-class attribute grammars; First-class grammars; Haskell; Oberon0; LDTA Tool Challenge
Optimizing SYB traversals is easy!
Keywords: هاسلل; Optimization; Partial evaluation; Datatype-generic programming; Haskell; Scrap Your Boilerplate (SYB)
Inductive representations of RDF graphs
Keywords: هاسلل; Functional programming; RDF; Graph; Haskell; Inductive graphs
The worldʼs shortest correct exact real arithmetic program?
Keywords: هاسلل; Computable reals; Exact arithmetic; Haskell; Higher-order logic; PVS
Implementing a computer algebra system in Haskell
Keywords: هاسلل; Computer algebra; Mixed computation; Functional programming; Haskell
Relation-based computations in a monadic BSP model
Keywords: هاسلل; Bulk synchronous parallel programs; Distributed relation-based computations; Specification; Parallel program derivation; Algorithmic skeletons; Haskell; C++;
The Haskell Refactorer, HaRe, and its API
Keywords: هاسلل; Haskell; refactoring; HaRe; program transformation API; source code; layout preservation; strategic programming; Strafunski; Programatica;
Programmable Rewriting Strategies in Haskell
Keywords: هاسلل; Rewrite startegies; programming languages; Haskell; functional programming;
Runtime Verification of Concurrent Haskell Programs
Keywords: هاسلل; Runtime Verification; LTL Checking; Haskell;