◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Joachim Breitner

11 papers hereh-index 12557 citations54 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author4
  • first author3
  • middle author3

Across the 10 of 11 papers where every author was matched, so the position is known.

fields
  • cs.PL10
  • cs.IT1
same name
  • Joachim Breitner — 3 papers

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20112019
most citedTotal Haskell is Reasonable Coq

31 citations · 41 across the 6 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.PL2012★ 3 cited

dup -- Explicit un-sharing in Haskell

Joachim Breitner

We propose two operations to prevent sharing in Haskell that do not require modifying the data generating code, demonstrate their use and usefulness, and compare them to other appr…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.