record-types

There are 0 repository under record-types topic.

• polyvinyl

  propensive / polyvinyl

  Typesafe record types for Scala

  record-typesscalaschemastype-providerstypesafe-schemas
  Language:Scala 21

• lambe-lang / nethra

  Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

  dependent-typessum-typesrecord-typespropositional-equalitysigma-typesrecursive-typespi-types
  Language:OCaml 9
• villainy

  propensive / villainy

  Record types from JSON schemata in Scala

  compile-time-checkingjsonjson-schemarecord-typesscalatype-constructiontypesafe
  Language:Scala 1