person · community record
Erik Osheim
A connected record in the developer community graph.
Checking node ownership…
01
Connections
14 relationships
authoredGeneric Numeric Programming Through Specialized Type Classespaper ↗inventor_ofMachine learning framework and method for using the samepatent ↗spoke_atAlter Reality: Angband (with Robert Au)talk ↗spoke_atEvaluation in Cats: the Good, the Bad, and the Lazytalk ↗spoke_atFunctions and Determinism in Property-based Testingtalk ↗spoke_atGalaxy brain: type-dependence and state-dependence in property-based testingtalk ↗spoke_atInlining anonymous functions with macrostalk ↗spoke_atIntervals: Unifying Uncertainty, Ranges, and Loopstalk ↗spoke_atOpaque types: understanding SIP-35talk ↗