Computer Science
Meta user
Network profile
633
reputation
3
12

Juan

I'm a .NET developer, currently working on my personal project http://www.heliumscraper.com.

0
answers
9
questions
~7k
people reached
  • Oklahoma City, OK
  • heliumscraper.com
  • Member for 6 years, 4 months
  • 15 profile views
  • Last seen Jan 15 at 16:22

Communities (32)

Top network posts

Top tags (11)

Score 0
Posts 6
Posts % 67
Score 0
Posts 5
Score 0
Posts 4
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (9) All Questions Answers | Votes Newest

14 Why will the Hindley-Milner algorithm never yield a type like t1 -> t2? Jan 1 '14
10 Define a list using only the Hindley-Milner type system Jan 29 '14
6 Safe way to explicitly define new types instead of using Algebraic data types for my functional language Aug 11 '16
6 Does there exist a type system for a non-let-polymorphic lambda calculus? Mar 30 '14
5 Does a Universal Turing Machine have more computational power than a non-universal one? Sep 30 '13
3 Smallest set of features that would make relational algebra Turing complete Sep 30 '13
3 Get term type during evaluation using Hindley-Milner type system Aug 1 '16
2 Would adding recursive named functions to Simply typed lambda calculus make it Turing complete? Dec 22 '13
1 How do you say when a language is Turing-complete only in a trivial way? Oct 4 '13

Badges (15)

Gold

—

Silver

3

Rarest

Bronze

12

Rarest

View all badges →