@whysguy.bsky.social
Collapso cricket again
June 23, 2025 at 9:13 PM
Collapso cricket again
Mummy di roti & sarson da saag?
June 23, 2025 at 9:08 PM
Mummy di roti & sarson da saag?
4. Watt, D. A., Programming Concepts and Paradigms, Prentice-Hall, 1990.
5. Stoy, J., Denotational Semantics, MIT Press 1977.
6. Schmidt, D. A., Denotational Semantics, Allyn and Bacon, 1986.
7. Various notes and journal material (Plotkin's notes on Operational Semantics and Den Sem)
5. Stoy, J., Denotational Semantics, MIT Press 1977.
6. Schmidt, D. A., Denotational Semantics, Allyn and Bacon, 1986.
7. Various notes and journal material (Plotkin's notes on Operational Semantics and Den Sem)
June 9, 2025 at 9:09 AM
4. Watt, D. A., Programming Concepts and Paradigms, Prentice-Hall, 1990.
5. Stoy, J., Denotational Semantics, MIT Press 1977.
6. Schmidt, D. A., Denotational Semantics, Allyn and Bacon, 1986.
7. Various notes and journal material (Plotkin's notes on Operational Semantics and Den Sem)
5. Stoy, J., Denotational Semantics, MIT Press 1977.
6. Schmidt, D. A., Denotational Semantics, Allyn and Bacon, 1986.
7. Various notes and journal material (Plotkin's notes on Operational Semantics and Den Sem)
Texts were:
1. Winskel, G. The Formal Semantics of Programming Languages, MIT Press, 1993.
2. Gunter, C. A., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
3. Reynolds, J., Theories of Programming Languages, Cambridge Univ Press, 1998.
....
1. Winskel, G. The Formal Semantics of Programming Languages, MIT Press, 1993.
2. Gunter, C. A., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
3. Reynolds, J., Theories of Programming Languages, Cambridge Univ Press, 1998.
....
June 9, 2025 at 9:09 AM
Texts were:
1. Winskel, G. The Formal Semantics of Programming Languages, MIT Press, 1993.
2. Gunter, C. A., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
3. Reynolds, J., Theories of Programming Languages, Cambridge Univ Press, 1998.
....
1. Winskel, G. The Formal Semantics of Programming Languages, MIT Press, 1993.
2. Gunter, C. A., Semantics of Programming Languages: Structures and Techniques, MIT Press, 1992.
3. Reynolds, J., Theories of Programming Languages, Cambridge Univ Press, 1998.
....
Students already see OCaml data types, type inference, Kahn Natural op sem, some really simple denotational semantics, and Hoare Logic and its soundness wrt op semantics n their sophomore course,
June 9, 2025 at 9:07 AM
Students already see OCaml data types, type inference, Kahn Natural op sem, some really simple denotational semantics, and Hoare Logic and its soundness wrt op semantics n their sophomore course,
The last time I taught it, I also included some proving in Coq; Bisimulation and concurrency (but not powerdomains);
Separation Logic; Adjoint functors; Monads. Relative completeness of Hoare Logic.
Separation Logic; Adjoint functors; Monads. Relative completeness of Hoare Logic.
June 9, 2025 at 9:06 AM
The last time I taught it, I also included some proving in Coq; Bisimulation and concurrency (but not powerdomains);
Separation Logic; Adjoint functors; Monads. Relative completeness of Hoare Logic.
Separation Logic; Adjoint functors; Monads. Relative completeness of Hoare Logic.
Syntax and Semantics Foundations
Operational Semantics
Denotational Semantics
Algebra of Data Types and Category Theory
Program Logics, semantics, correctness
Recursion in programs (fixpoints)
Solving recursive domain equations
Lambda Calculus and Domains
(2/n)
Operational Semantics
Denotational Semantics
Algebra of Data Types and Category Theory
Program Logics, semantics, correctness
Recursion in programs (fixpoints)
Solving recursive domain equations
Lambda Calculus and Domains
(2/n)
June 9, 2025 at 9:03 AM
Syntax and Semantics Foundations
Operational Semantics
Denotational Semantics
Algebra of Data Types and Category Theory
Program Logics, semantics, correctness
Recursion in programs (fixpoints)
Solving recursive domain equations
Lambda Calculus and Domains
(2/n)
Operational Semantics
Denotational Semantics
Algebra of Data Types and Category Theory
Program Logics, semantics, correctness
Recursion in programs (fixpoints)
Solving recursive domain equations
Lambda Calculus and Domains
(2/n)
I suspect this sign denoted where the loos were...
June 8, 2025 at 4:07 AM
I suspect this sign denoted where the loos were...
Do you need a better outlook?
June 5, 2025 at 5:48 AM
Do you need a better outlook?
Each a Director's Chair? Paradiso!
May 25, 2025 at 5:58 AM
Each a Director's Chair? Paradiso!
I list Scott's 4ed as a (disjoint) complement to what I cover in a sophomore course -- operational (and baby denotational) semantics, type systems for checking/inference, specification, Hoare Logic, a little concurrency, the Lambda calculus and abstract machines for it, combinatory logic, etc.
May 25, 2025 at 5:56 AM
I list Scott's 4ed as a (disjoint) complement to what I cover in a sophomore course -- operational (and baby denotational) semantics, type systems for checking/inference, specification, Hoare Logic, a little concurrency, the Lambda calculus and abstract machines for it, combinatory logic, etc.
Are you on your bicycle?
May 23, 2025 at 9:02 AM
Are you on your bicycle?
In the past, ACM has weighed in on holding its conferences in places where various kinds of human rights are not guaranteed. And members voiced their apprehensions and disagreements. Unfortunately now, various nations are denying visas to paper authors: USA, India, UK, Europe, Canada...
May 11, 2025 at 3:40 AM
In the past, ACM has weighed in on holding its conferences in places where various kinds of human rights are not guaranteed. And members voiced their apprehensions and disagreements. Unfortunately now, various nations are denying visas to paper authors: USA, India, UK, Europe, Canada...
I was in Novi Sad till about a week ago, and ate scrambled eggs for breakfast every day... Didn't need a raincoat since the weather was good that week.
March 24, 2025 at 2:36 PM
I was in Novi Sad till about a week ago, and ate scrambled eggs for breakfast every day... Didn't need a raincoat since the weather was good that week.
Doesn't vark for me. I have a gold tooth and any vark would cause tiny currents in my mouth, and make everything taste sour.
March 11, 2025 at 9:38 PM
Doesn't vark for me. I have a gold tooth and any vark would cause tiny currents in my mouth, and make everything taste sour.
"I got your back" or "backatcha"?
January 15, 2025 at 9:00 AM
"I got your back" or "backatcha"?
Not a pangram. Mooching is, though :)
December 20, 2024 at 6:22 PM
Not a pangram. Mooching is, though :)
Excellent article. My maverick friend Carl Malamud once did a calculation for me that it would cost (taking storage, energy, initial set up, technical expertise for maintenance and miscellaneous costs) about $10 max to keep a typical 10-page textual PDF document online for 50 years.
December 13, 2024 at 1:04 PM
Excellent article. My maverick friend Carl Malamud once did a calculation for me that it would cost (taking storage, energy, initial set up, technical expertise for maintenance and miscellaneous costs) about $10 max to keep a typical 10-page textual PDF document online for 50 years.
Met her at Mukul Kesavan's once... and chatted with her, when it became clear to me how much she knew about the game, and beyond.
December 8, 2024 at 9:05 AM
Met her at Mukul Kesavan's once... and chatted with her, when it became clear to me how much she knew about the game, and beyond.