We propose a framework to automatically generate descriptive comments for source code
blocks. While this problem has been studied by many researchers previously, their methods …

Functions are essential building blocks of information retrieval and information
management. However, efforts implementing these functions are fragmented: one function …

Programmers currently enjoy access to a very high number of code repositories and libraries
of ever increasing size. The ensuing potential for reuse is however hampered by the fact that …

Type systems allow programmers to communicate a partial specification of their program to
the compiler using types, which can then be used to check that the implementation matches …

User-friendly interfaces can play an important role in bringing the benefits of a machine-
readable representation of formal arguments to a wider audience. The aartifact system is an …

MagicHaskeller on the Web: Automated Programming as a Service Page 1 MagicHaskeller on the
Web: Automated Programming as a Service [System Demonstration Proposal] Susumu Katayama …

This paper gives a complete characterisation of type isomorphism definable by terms of a λ-
calculus with intersection and union types. Unfortunately, when union is considered the …

Abstract Machine verification of formal arguments can only increase our confidence in the
correctness of those arguments, but the costs of employing machine verification still …

Progress in type inference algorithms [4] has led to statically typed languages that are easier
to use and more appealing to programmers. Thanks to their performance compared to …

The ecology of Earth's first large organisms is an unsolved problem in palaeontology. This
experience report discusses the determination of which ecosystems could have been …