Computer Science
Juan
  • Member for 8 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
643
reputation
8k
reached
0
answers
9
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
0
Score
6
Posts
67
Posts %
0
Score
5
Posts
56
Posts %
0
Score
4
Posts
44
Posts %
0
Score
4
Posts
44
Posts %
0
Score
2
Posts
22
Posts %
0
Score
2
Posts
22
Posts %
Top posts
All Questions Answers
Votes Newest
14
Why will the Hindley-Milner algorithm never yield a type like t1 -> t2?
Jan 1 '14
11
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
Top network posts
View all network posts
314
How to Turn Off Showing Whitespace Characters in Visual Studio IDE
87
Get a TextReader from a Stream?
81
WCF named pipe minimal example
44
How do you set a JavaScript onclick event to a class with css
41
Generic extension method to see if an enum contains a flag

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.