programming-languages

239 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How are rational numbers implemented in Julia
user_95557940
•
4
2
135
rational-number julia programming-languages
What does the symbol `!` mean in type declarations in Haskell?
Admin1
•
2
1
108
type-systems programming-languages functional-programming haskell types
What is committed-choice logic programming language?
user_45184820
•
3
1
119
logic-programming prolog programming-languages terminology
Array vs Record, Dynamic Subscripts vs Static Field
user_135951200
•
2
1
155
programming-languages arrays performance
Is there simple way to extend simply typed lambda calculus with monad types?
user_89108180
•
2
1
183
typed-lambda-calculus lambda-calculus programming-languages monads haskell
If a programming language compiles to Java 8 bytecode, can it also run on Android?
user_153604040
•
3
0
175
java-8 jvm programming-languages android java
Why does universe level restriction behave differently between inductive family and parameterized inductive type without axiom K in agda
user_28587150
•
3
0
84
homotopy-type-theory dependent-type agda programming-languages types
Re-editing an existing game
user_149722060
•
2
1
77
testing programming-languages file edit
Is "almost pure" Prolog expressive?
user_19371970
•
2
3
624
prolog-dif logical-purity logic-programming prolog programming-languages
Matlab Matrixaddress
user_117728000
•
3
3
90
matrix-indexing matrix matlab programming-languages syntax
Hot Questions