Jean-Philippe Bernardy
Visar 28 publikationer
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:
Visar 1 forskningsprojekt
Starkt typade bibliotek för program och bevis