Computer Science
Musa Al-hassy's user avatar
Musa Al-hassy's user avatar
Musa Al-hassy's user avatar
Musa Al-hassy
  • Member for 9 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
884
reputation
18k
reached
20
answers
3
questions
Communities
View all
Badges
View all badges
1
gold badge
5
silver badges
9
bronze badges
Top tags
View all tags
16
Score
3
Posts
13
Posts %
13
Score
7
Posts
30
Posts %
13
Score
4
Posts
17
Posts %
13
Score
4
Posts
17
Posts %
8
Score
3
Posts
13
Posts %
7
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
12
Why Term Rewriting?
Dec 28, 2014
answer
7
Is path induction constructive?
Jul 25, 2014
answer
7
Recursive definition of Matrix
Apr 27, 2016
answer
6
How Types avoids Russel's Paradox?
Aug 10, 2016
answer
5
What are common formal techniques for proving functional code correct?
Sep 12, 2016
answer
5
Relating a proof to a Haskell program
Sep 22, 2018
question
4
Termination in infinite-time
Dec 22, 2014
answer
4
Haskell monad bind operator type
Jun 28, 2014
answer
2
How to use the concept of loop invariant to reduce errors in loops?
Apr 18, 2016
answer
2
How to prove that the reversal of the concatenation of two strings is the concatenation of the reversals?
Aug 25, 2016
Top network posts
View all network posts
12
Dependent Types in C#: making the output type depend on the input value
10
Why is it bad to pick basis for a vector space?
9
continuations as meaningful comprehensions
8
Reference request: Categories enriched over $\textbf{FinLat}$
8
Haskell Deriving Mechanism for Agda

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.