person · community record
François Garillot
A connected record in the developer community graph.
Checking node ownership…
01
Connections
37 relationships
authoredA Core Calculus for Scala Type Checkingpaper ↗authoredA Machine-Checked Proof of the Odd Order Theorempaper ↗authoredGeneric Proof Tools and Finite Group Theorypaper ↗authoredLURK: Lambda, the Ultimate Recursive Knowledge (Experience Report)paper ↗authoredNon-interactive Half-Aggregation of EdDSA and Variants of Schnorr Signaturespaper ↗authoredPackaging Mathematical Structurespaper ↗authoredSimple Types in Type Theory: Deep and Shallow Encodingspaper ↗authoredStatically Typed Document Transformation: An Xtatic Experiencepaper ↗authoredStream Processing with Apache Sparkpaper ↗authoredSubset-Optimized BLS Multi-signature with Key Aggregationpaper ↗authoredTaming the Many EdDSAspaper ↗authoredThreshold Schnorr with Stateless Deterministic Signing from Standard Assumptionspaper ↗