Jean-Philippe Bernardy
Visar 30 publikationer
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
A Presheaf Model of Parametric Type Theory
Efficient parallel and incremental parsing of practical context-free languages
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
A Computational Interpretation of Parametricity
Proofs for Free - Parametricity for dependent types
Realizability and Parametricity in Pure Type Systems
A Theory of Parametric Polymorphism and an Application
Towards a computational interpretation of parametricity
Parametricity and dependent types
Generic programming with C++ concepts and Haskell type classes—a comparison
Parametricity and Dependent Types
An abstraction theorem for pure type systems
Testing Polymorphic Properties
Software Engineering using Typed Functional Programming
Yi An Editor in Haskell for Haskell
Lazy Functional Incremental Parsing
Yi - An Editor in Haskell for Haskell
A comparison of C++ concepts and Haskell type classes
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