activity
20022019
most citedHaskell's overlooked object system

33 citations · 82 across the 10 of their papers we have counts for

collaborators

10 papers

cs.PL2019★ 4 cited

Semantic Query Integration With Reason

Philipp Seifer, Martin Leinberger, Ralf Lämmel +1

Graph-based data models allow for flexible data representation. In particular, semantic data based on RDF and OWL fuels use cases ranging from general knowledge graphs to domain sp…

cs.PL2017★ 6 cited

Interconnected Linguistic Architecture

Johannes Härtel, Lukas Härtel, Ralf Lämmel +2

The context of the reported research is the documentation of software technologies such as object/relational mappers, web-application frameworks, or code generators. We assume that…

cs.SE2013★ 3 cited

A Literature Survey on Empirical Evidence in Software Engineering

Ekaterina Pek, Ralf Lämmel

Context: Software Engineering research makes use of collections of software artifacts (corpora) to derive empirical evidence from. Goal: To improve quality and reproducibility of r…

cs.PL2005

Book review "The Haskell Road to Logic, Maths and Programming"

Ralf Laemmel

The textbook by Doets and van Eijck puts the Haskell programming language systematically to work for presenting a major piece of logic and mathematics. The reader is taken through…

cs.PL2005★ 33 cited

Haskell's overlooked object system

Oleg Kiselyov, Ralf Laemmel

Haskell provides type-class-bounded and parametric polymorphism as opposed to subtype polymorphism of object-oriented languages such as Java and OCaml. It is a contentious question…

cs.PL2002

Strategic polymorphism requires just two combinators!

Ralf Laemmel, Joost Visser

In previous work, we introduced the notion of functional strategies: first-class generic functions that can traverse terms of any type while mixing uniform and type-specific behavi…