Publications
Research Blog
Teaching
Search

Search for:

List Homomorphism

Constructing list homomorphisms from proofs

October 4, 2011 November 19, 2019 / List Homomorphism

Yun-Yan Chi and Shin-Cheng Mu. Constructing list homomorphisms from proofs. In the 9th Asian Symposium on Programming Languages and Systems (APLAS 2011), LNCS 7078, pages 74-88. [PDF]

Generalising and dualising the third list-homomorphism theorem

September 8, 2011 November 19, 2019 / List Homomorphism, Relation

Shin-Cheng Mu and Akimasa Morihata. Generalising and dualising the third list-homomorphism theorem. In the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), pages 385-391.
[PDF]

Determining List Steepness in a Homomorphism

July 10, 2009 July 10, 2009 / List Homomorphism, Program Derivation

A list of numbers is called steep if each element is larger than the sum of elements to its right. It is an example we often use when we talk about tupling. Can we determine the steepness of a list by a list homomorphism?

Constructing List Homomorphism from Left and Right Folds

February 10, 2008 December 2, 2009 / List Homomorphism, Program Derivation, Program Inversion

Back in 2003, my colleagues there were discussing about the third homomorphism theorem — if a function f can be expressed both as a foldr and a foldl, there exists some associative binary operator ⊚ such that f can be computed from the middle. The aim was to automatically construct ⊚.

中文訪客請參觀小眾計算學!

Research

Adjoint Functors Adjunction Agda Approximation Backtracking Bidirectional Updating Burrows-Wheeler Transform Concurrency Converse-of-a-Function Theorem Curry-Howard Data Structure Dependent Type Effect Fibonacci GADT Galois Connection Generic Datatype Greedy Theorem Haskell HaXML Imperative Programs Indirect Equality Inductive Proof List Homomorphism Logic Logic Programming Monad n-Queens Non-determinism Optimisation Problems Partitioning Problems Program Derivation Program Inversion Quantum Programming Quicksort Quine Regular Expression Relation Segment Problems State Termination Thinning Theorem Types XML Streaming λ calculus