Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
378
reputation
1
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 5 years, 8 months
  • 13 profile views
  • Last seen Jun 11 at 6:40

Communities (31)

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
7 Does there exist a type system for a non-let-polymorphic lambda calculus? Mar 30 '14
6 Safe way to explicitly define new types instead of using Algebraic data types for my functional language Aug 11 '16
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 (13)

Gold

—

Silver

1

Rarest

Bronze

12

Rarest

View all badges →