علامة arpendent-type - هذه الصفحة 3 - GeneraCodice

Practical examples of Idris

https://www.generacodice.com/ar/articolo/8272713/practical-examples-of-idris

dependent-type - idris

Structural recursion on a dependent parameter

https://www.generacodice.com/ar/articolo/8190015/structural-recursion-on-a-dependent-parameter

recursion - coq - dependent-type - convoy-pattern

Dependently typed 'ZipVector' Applicatives

https://www.generacodice.com/ar/articolo/7495416/dependently-typed-zipvector-applicatives

types - haskell - vector - dependent-type

Singleton types in Haskell

https://www.generacodice.com/ar/articolo/7350070/singleton-types-in-haskell

haskell - type-theory - dependent-type - singleton-type

How to account for all cases of an enum on the right-hand side of a pattern match

https://www.generacodice.com/ar/articolo/6276532/how-to-account-for-all-cases-of-an-enum-on-the-right-hand-side-of-a-pattern-match

scala - pattern-matching - dependent-type

haskell - How can I go from values to types?

https://www.generacodice.com/ar/articolo/6197506/haskell-how-can-i-go-from-values-to-types

haskell - dependent-type - type-level-computation

Add Type Level Natural Numbers

https://www.generacodice.com/ar/articolo/6165892/add-type-level-natural-numbers

haskell - dependent-type

Promoting free variables in type terms to implicit function arguments

https://www.generacodice.com/ar/articolo/6011381/promoting-free-variables-in-type-terms-to-implicit-function-arguments

language-design - dependent-type

Can't prove simple facts about functions defined with Program Fixpoint

https://www.generacodice.com/ar/articolo/5395088/can-t-prove-simple-facts-about-functions-defined-with-program-fixpoint

coq - dependent-type

Can't use inversion on inductive predicate

https://www.generacodice.com/ar/articolo/5362766/can-t-use-inversion-on-inductive-predicate

coq - dependent-type

«
1
2
3
4
5
6
»

العثور على نتائج: 59