hylomorphism

• My own view of the relationship between the mind and the brain tends to hylomorphism, specifically the variant of traditional Aristotelian hylomorphism called Thomistic dualism, which is the view that the soul (of which the mind is a part) is the substantial form of the body (of which the brain is a part). —  Evolution News & Views
• By using recently added Isabelle features, we have produced a formal text that more closely approximates informal mathematics. abstraction adaptive ad-hoc-polymorphism agda algebra algorithms anamorphism arrays associated-types bibliography bifunctors boilerplate book call-by-name call-by-need call-by-value catamorphism categorical-logic category-theory classicjava collections combinators comparison compilers comprehensions computational-thinking computer-science concurrency containers continuations control-flow-graph cps crush cyclic databases data-structures datatype-generic de-bruijn-index deforestation denotational-semantics dependent-types derivatives deriving design-patterns dictionaries difunctors distributed-computing domain-specific-languages dynamically-typed dynamic-scoping editors education emgm epigram expression-problem extensibility extensible-records ffi fixed-point fold formalization frameworks free-theorems free-variables functional-dependencies functional-programming function-spaces functors fusion gadts garbage-collection generic-haskell generics ghc global-variables gofer graph-reduction halting-problem hardware-description haskell haskelldb higher-order-functions hol homomorphism hylomorphism idl imperative-programming implementation implicit-parameters impredicativity incremental inheritance input-output interpreters introduction isabelle isar java jni lambda-calculus lattice-theory lazy-evaluation libraries lightweight list-comprehensions lists logic mapreduce martin-lof memoization metamodels metaprogramming miranda mixins ml model-driven-architecture model-driven-development model-driven-engineering models modula modularity monads monoids mutability mutual-recursion natural-numbers nested-datatypes non-strict-evaluation numbers ocaml oop open operational-semantics optimization parallel-programming parametricity parametric-polymorphism paramorphism parsers pattern-matching performance phantom-types physics poetry polyp pragmatics predicate-dispatch printf program-calculation programming-environment programming-language program-transformation rank-2-polymorphism rank-n-polymorphism recursion reflection rewriting sawzall scripting semantics set-theory sharing software-build software-engineering software-factories software-product-lines sql static-checking streams strict-evaluation strictly-positive strictness-analysis strings survey syntax-directed system-f taxonomy template-haskell testing theorem-proving thesis topology total-functions transactions transpose traversals tries type-checking type-classes type-indexed type-inference type-safety type-theory unboxed-values undecidability unfold unification universes unparsers value-recursion verification views von-neumann wobbly-types xml zip zipper CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. —  CiteULike: Everyone's library
• c call-by-name call-by-need call-by-value catamorphism categorical-logic category-theory change-detection church classicjava clean clu coalgebra codata coinductive-types collections combinators comonads comparison compilers comprehensions computability computational-design computational-thinking computer-architecture computer-science concurrency constraint-programming containers continuations contracts control-flow-graph corecursion cpp cps crush cryptol csharp curry-howard-isomorphism cyclic databases data-description-language dataflow data-mining data-structures datatype-generic de-bruijn-index debuggers deductive-databases deforestation denotational-semantics dependent-types derivatives deriving design-patterns dictionaries diff difunctors distributed-computing domain-specific-languages dynamically-typed dynamic-programming dynamic-scoping edit-operations editors education eiffel embedded-systems emgm epigram equational-reasoning equivalence erlang event-driven existential-quantification expression-problem extensibility extensible-records fault-tolerance feature-oriented-programming ffi file-comparison finite-maps fixed-point fold formalization fp frameworks free-theorems free-variables functional-database-language functional-dependencies functional-programming functional-reactive function-spaces functors fusion futumorphism gadts garbage-collection generators generic-haskell generics ghc global-variables godel gofer goffin grammars graph graph-reduction halting-problem hardware-description hash-consing haskell haskelldb hierarchical-structure higher-order-functions histomorphism history hol holumbus homomorphism hope hylomorphism idl imperative-programming implementation implicit-parameters impredicativity incremental inductive-type-families inductive-types inheritance inlining input-output intermediate-language interpreters introduction inversion isabelle isar java jni lambda-calculus latex lattice-theory lazy-evaluation lenses libraries lightweight lisp list-comprehensions lists logic longest-common-subsequence machine-learning mapreduce martin-lof memoization metamodels metaprogramming miranda mixins ml model-driven-architecture model-driven-development model-driven-engineering models modula modularity monads monoids multithreading mutability mutual-recursion mutumorphism natural-deduction natural-language natural-numbers nested-datatypes non-strict-evaluation normalization np-complete numbers nuprl object-oriented-programming ocaml open operating-systems operational-semantics optimization ordered packrat-parsing parallel-programming parametricity parametric-polymorphism paramorphism parsers partial-functions partioning pattern-matching performance persistence pfl phantom-types phd physics poetry polyp ports pragmatics predicate-dispatch prepromorphism pretty-printing printf program-behavior program-calculation programming-environment programming-language program-slicing program-transformation proofs rank-2-polymorphism rank-n-polymorphism recursion reflection register-allocation relational research rewriting sawzall scheme scripting search-engine semantics semantic-web sequence sequent-calculus serialization set-theory sharing shell software-build software-engineering software-factories software-product-lines sorting spine-view sql static-analysis static-checking stl streams strict-evaluation strictly-positive strictness-analysis strings stupidity submit-gdiff subtyping survey syb syntax-directed system-f system-t taxonomy template-haskell testing theorem-proving thesis topology total-functions transactional-memory transpose traversals tree tree-inclusion tries turing type-checking type-classes type-families type-indexed type-inference type-safety type-theory unboxed-values undecidability unfold unification universes unordered unparsers value-recursion verification version-control views visitor-pattern von-neumann web wobbly-types xml zip zipper zygomorphism CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. —  CiteULike: Everyone's library

Definitions (0)