◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Jean-Philippe Bernardy

14 papers hereh-index 16948 citations76 works total

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

author position
  • first author9
  • middle author3
  • last author1

Across the 13 of 14 papers where every author was matched, so the position is known.

fields
  • cs.PL7
  • cs.CL3
  • cs.LG2
  • cs.LO2
same name
  • Jean-Philippe Bernardy — 1 paper, h 4

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
20162026
most citedLinear Haskell: practical linearity in a higher-order polymorphic language

85 citations · 102 across the 10 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016★ 10 cited

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

Jean-Philippe Bernardy, Patrik Jansson

Valiant (1975) has developed an algorithm for recognition of context free languages. As of today, it remains the algorithm with the best asymptotic complexity for this purpose. In…

◍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.