Skip to main content
Programming Language Design and Implementation Beta
David Young's user avatar
David Young's user avatar
David Young's user avatar
David Young
  • Member for 1 year, 2 months
  • Last seen this week
Profile Activity
Stats
2,257
reputation
26k
reached
11
answers
3
questions
Communities
View all
Badges
View all badges
2
gold badges
8
silver badges
23
bronze badges
Top tags
View all tags
91
Score
2
Posts
14
Posts %
41
Score
4
Posts
29
Posts %
25
Score
2
Posts
14
Posts %
21
Score
3
Posts
21
Posts %
16
Score
2
Posts
14
Posts %
16
Score
2
Posts
14
Posts %
Top posts
View all questions and answers
91
How can we compare expressive power between two Turing-complete languages?
Jul 4, 2023
84
How can we compare expressive power between two Turing-complete languages?
Jul 4, 2023
25
How can I specify a programming language step-by-step more formally than by providing a reference interpreter?
Dec 11, 2023
20
How can I specify a programming language step-by-step more formally than by providing a reference interpreter?
Dec 11, 2023
16
How can we define a denotational semantics for recursive functions?
Jul 3, 2023
16
How can we define a denotational semantics for recursive functions?
Jul 3, 2023
9
Would it be safe to introduce the "freeze" statement?
Feb 14
8
What does it mean for a type system or language to be "sound"?
Dec 15, 2023
7
What would a for loop return in an expression oriented language?
Jun 6, 2023
6
Are there any situations in which it would make sense to return a never type?
Nov 9, 2023
Top network posts
View all network posts
34
List of IO Strings
33
S combinator in Haskell
25
Why does Haskell use arrows for the type of a function?
20
Unable to compile Writer Monad example from "Learn you a Haskell"
19
Counting of algebraic data types