rodrigogribeiro/popl2015-papers
Accepted papers for POPL 2015
Public GitHub Catalog
Discovered Sep 25, 2026
rodrigogribeiro / simple-order
Simple implementation of a lexicographic ordering using Coq module system
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#4244147GitHub System ID
rodrigogribeiroOrganization / User
PublicVisibility
ActiveCatalog Status
More from rodrigogribeiro
rodrigogribeiro/developing-dependently-typed-programs-agda
Code for a port of Connor McBride's talk "Developing Dependently Typed Programs in Lego" to Agda.
rodrigogribeiro/monoid-prover
A reflective tactic for proving monoid equalities in Idris
rodrigogribeiro/UDESC-talk-04-2014
Slides e código para palestra na UDESC em 04/2014