Computer Science
Jason Carr's user avatar
Jason Carr's user avatar
Jason Carr's user avatar
Jason Carr
  • Member for 5 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
326
reputation
4k
reached
7
answers
1
question
Communities
View all
About

Graduate Computer Science student

Badges
This user doesn’t have any gold badges yet.
1
silver badge
8
bronze badges
Top tags
View all tags
13
Score
5
Posts
62
Posts %
8
Score
2
Posts
25
Posts %
5
Score
2
Posts
25
Posts %
4
Score
1
Posts
12
Posts %
4
Score
1
Posts
12
Posts %
4
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Score Newest
answer
4
Are the definitions of constructs in terms of lambda terms issues in implementation/design or uses of functional languages?
Aug 2, 2019
answer
4
How to write a coterminating, effectful program?
Oct 2, 2019
answer
3
Which is a type of objects in mainstream OO languages: a class, an interface, an abstract class, a metaclass?
Sep 24, 2019
answer
3
Why do programming languages use call-by-value over call-by-name?
Apr 24, 2021
question
2
"Universe-shrinking" function in Agda
Aug 30, 2021
answer
2
How does in-order traversal in Binary search tree works (recursion)
May 14, 2018
answer
2
What order logic does a system correspond to under Curry–Howard correspondence?
Sep 24, 2019
answer
1
How shall I understand the undesirable consequences of dynamic scoping?
Nov 5, 2019
Top network posts
View all network posts
6
Access Cargo features *inside* the build script
5
Is there a continuous function with these properties (not piecewise)

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.