Domain-Specific Languages of Mathematics: Jansson, Patrik, Ionescu, Cezar, Bernardy, Jean-Philippe: 9781848903883: Amazon.com: Books
FraCaS: Temporal Analysis | DeepAI
Shalom Lappin University of Gothenburg, King's College London and Queen Mary University of London Joint work with Jean-Philippe
Linear Haskell
Paris - By Jean-philippe Hugron (paperback) : Target
Type Theory Research Group
Jean-Philippe Bernardy - Quora
Linear Haskell: practical linearity in a higher-order polymorphic language
A Computational Treatment of Anaphora and its Algorithmic Implementation
arXiv:2103.06195v2 [cs.PL] 22 Jul 2021
Jean-Philippe Bernardy | DeepAI
Names For Free — Polymorphic Views of Names and Binders Jean-Philippe Bernardy Chalmers University ofTechnology and University
CERTIFIED CONTEXT-FREE PARSING: A FORMALISATION OF VALIANT'S ALGORITHM IN AGDA Context-free grammars [Chomsky, 1957] are the s
Advanced Functional Programming 2009 Ulf Norell (lecture by Jean-Philippe Bernardy) - ppt download
Advanced Functional Programming ppt download
PDF) Dynamic IFC Theorems for Free!
PDF) Algebraic Effects for Extensible Dynamic Semantics
The Influence of Context on Sentence Acceptability Judgements - ACL Anthology
How does Punctuation Affect Neural Models in Natural Language Inference - ACL Anthology
A Neural Model for Compositional Word Embeddings and Sentence Processing - ACL Anthology
The Almarty (@MartyStumpf) / Twitter
Jean-Philippe Bernardy | DeepAI
Jean-Philippe BERNARDY | Programmer | University of Gothenburg, Göteborg | GU | Department of Philosophy, Linguistics and Theory of Science
Jean-Philippe Bernardy | DeepAI
Parametricity and Dependent Types by Jean-Philippe Bernardy, Patrik Jansson and Ross Paterson on Vimeo
