Skip to main content
Computer Science
Juan's user avatar
Juan's user avatar
Juan's user avatar
Juan
  • Member for 11 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
755
reputation
11k
reached
0
answers
10
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
16
bronze badges
Top tags
View all tags
0
Score
6
Posts
60
Posts %
0
Score
5
Posts
50
Posts %
0
Score
4
Posts
40
Posts %
0
Score
4
Posts
40
Posts %
0
Score
2
Posts
20
Posts %
0
Score
2
Posts
20
Posts %
Top posts
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
9
Is there a theoretical foundation behind CSS?
Jun 15, 2023
question
7
Does a Universal Turing Machine have more computational power than a non-universal one?
Sep 30, 2013
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
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
337
How to Turn Off Showing Whitespace Characters in Visual Studio IDE
94
Get a TextReader from a Stream?
83
WCF named pipe minimal example
51
How do you set a JavaScript onclick event to a class with css
45
How to lock a file with C#?