Computer Science
user avatar
user avatar
user avatar
Juan
  • Member for 8 years, 10 months
  • Last seen more than a month 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
Score Newest
question
14
Why will the Hindley-Milner algorithm never yield a type like t1 -> t2?
Jan 1, 2014
question
11
Define a list using only the Hindley-Milner type system
Jan 29, 2014
question
6
Does there exist a type system for a non-let-polymorphic lambda calculus?
Mar 30, 2014
question
6
Safe way to explicitly define new types instead of using Algebraic data types for my functional language
Aug 11, 2016
question
5
Does a Universal Turing Machine have more computational power than a non-universal one?
Sep 30, 2013
question
3
Smallest set of features that would make relational algebra Turing complete
Sep 30, 2013
question
3
Get term type during evaluation using Hindley-Milner type system
Aug 1, 2016
question
2
Would adding recursive named functions to Simply typed lambda calculus make it Turing complete?
Dec 22, 2013
question
1
How do you say when a language is Turing-complete only in a trivial way?
Oct 4, 2013
Top network posts
View all network posts
320
How to Turn Off Showing Whitespace Characters in Visual Studio IDE
89
Get a TextReader from a Stream?
82
WCF named pipe minimal example
48
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.