书目详情:
Constraint-Free Type Error SlicingSubtyping by Folding an Inductive Relation into a Coinductive OneEpic—A Library for Generating CompilersTowards Modular Compilers for EffectsFunctory: A Distributed Computing Library for Objective CamlParaForming: Forming Parallel Haskell Programs Using Novel Refactoring TechniquesFunctional High Performance Financial ITThread-Safe Priority Queues in Haskell Based on SkiplistsAdams’ Trees RevisitedFunctional Video Games in CS1 IIGiN: A Graphical Language and Tool for Defining iTask WorkflowsApplicative Shortcut Fusion
评论:

