Jean-Philippe Bernardy
Visar 33 publikationer
Domain-Specific Tensor Languages
Learning Structure-Aware Representations of Dependent Types
Algebraic Positional Encodings
Domain-Specific Languages of Mathematics
Dynamic IFC Theorems for Free!
Simple Noninterference from Parametricity
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda
Efficient Parallel and Incremental Parsing
Efficient parallel and incremental parsing of practical context-free languages
A Presheaf Model of Parametric Type Theory
Names for free: polymorphic views of names and binders
Compiling Linear Logic using Continuations
Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages
Names For Free - Polymorphic Views of Names and Binders
Efficient divide-and-conquer parsing of practical context-free languages
Proofs for Free - Parametricity for dependent types
A Computational Interpretation of Parametricity
Realizability and Parametricity in Pure Type Systems
Towards a computational interpretation of parametricity
A Theory of Parametric Polymorphism and an Application
Generic programming with C++ concepts and Haskell type classes—a comparison
Testing Polymorphic Properties
Parametricity and dependent types
An abstraction theorem for pure type systems
Parametricity and Dependent Types
Software Engineering using Typed Functional Programming
Yi An Editor in Haskell for Haskell
Lazy Functional Incremental Parsing
A comparison of C++ concepts and Haskell type classes
Yi - An Editor in Haskell for Haskell
Reviving Pacbase COBOL-Generated Code
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 1 forskningsprojekt
Starkt typade bibliotek för program och bevis