Isaac Lopez > Recent Status Updates

Showing 1-30 of 89

Isaac Lopez

Isaac Lopez is 40% done with Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

— Jun 16, 2025 01:31AM Add a comment

Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory

Isaac Lopez

Isaac Lopez is 4% done with Foundations of Topology (PRINDLE, WEBER, AND SCHMIDT SERIES IN ADVANCED MATHEMATICS)

— Jun 05, 2025 03:05AM Add a comment

Foundations of Topology (PRINDLE, WEBER, AND SCHMIDT SERIES IN ADVANCED MATHEMATICS)

Isaac Lopez

Isaac Lopez is 55% done with The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

— Jun 05, 2025 03:05AM Add a comment

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Isaac Lopez

Isaac Lopez is 9% done with The Book of Azrael (Gods & Monsters, #1)

— Mar 25, 2025 12:51AM Add a comment

The Book of Azrael (Gods & Monsters, #1)

Isaac Lopez

Isaac Lopez is 88% done with The Seasoned Schemer

— Mar 25, 2025 12:51AM Add a comment

The Seasoned Schemer

Isaac Lopez

Isaac Lopez is 76% done with The Seasoned Schemer

— Mar 24, 2025 01:48PM Add a comment

The Seasoned Schemer

Isaac Lopez

Isaac Lopez is 7% done with The Book of Azrael (Gods & Monsters, #1)

— Mar 22, 2025 04:10PM Add a comment

The Book of Azrael (Gods & Monsters, #1)

Isaac Lopez

Isaac Lopez is 12% done with God of Malice (Legacy of Gods, #1)

— Mar 18, 2025 12:33AM Add a comment

God of Malice (Legacy of Gods, #1)

Isaac Lopez

Isaac Lopez is 8% done with Compilers: Principles, Techniques, and Tools

— Mar 18, 2025 12:33AM Add a comment

Compilers: Principles, Techniques, and Tools

Isaac Lopez

Isaac Lopez is starting Compilers: Principles, Techniques, and Tools

— Mar 16, 2025 08:27PM Add a comment

Compilers: Principles, Techniques, and Tools

Isaac Lopez

Isaac Lopez is 3% done with The Nightingale

— Mar 16, 2025 08:26PM Add a comment

The Nightingale

Isaac Lopez

Isaac Lopez is on page 121 of 224 of The Seasoned Schemer

— Mar 16, 2025 08:26PM Add a comment

The Seasoned Schemer

Isaac Lopez

Isaac Lopez is 9% done with God of Malice (Legacy of Gods, #1)

— Mar 16, 2025 08:25PM Add a comment

God of Malice (Legacy of Gods, #1)

Isaac Lopez

Isaac Lopez is on page 40 of 224 of The Seasoned Schemer

— Mar 04, 2025 12:27AM Add a comment

The Seasoned Schemer

Isaac Lopez

Isaac Lopez is on page 6 of 623 of Types and Programming Languages (Mit Press)

— Mar 04, 2025 12:27AM Add a comment

Types and Programming Languages (Mit Press)

Isaac Lopez

Isaac Lopez is 2% done with Introduction to Algorithms

— Dec 22, 2024 04:29PM Add a comment

Introduction to Algorithms

Isaac Lopez

Isaac Lopez is 6% done with Type-Driven Development with Idris

— Nov 11, 2024 05:47PM Add a comment

Type-Driven Development with Idris

Isaac Lopez

Isaac Lopez is 33% done with Production Haskell: Succeeding in Industry with Haskell

— Nov 11, 2024 05:30PM Add a comment

Production Haskell: Succeeding in Industry with Haskell

Isaac Lopez

Isaac Lopez is 25% done with Production Haskell: Succeeding in Industry with Haskell

— Nov 11, 2024 04:28PM Add a comment

Production Haskell: Succeeding in Industry with Haskell

Isaac Lopez

Isaac Lopez is on page 102 of Production Haskell: Succeeding in Industry with Haskell

— Nov 11, 2024 04:27PM Add a comment

Production Haskell: Succeeding in Industry with Haskell

Isaac Lopez

Isaac Lopez is starting Type-Driven Development with Idris

— Nov 11, 2024 01:02PM Add a comment

Type-Driven Development with Idris

Isaac Lopez

Isaac Lopez is 65% done with Thinking with Types. Type-Level Programming in Haskell

— Oct 25, 2024 05:58PM Add a comment

Thinking with Types. Type-Level Programming in Haskell

Isaac Lopez

Isaac Lopez is 11% done with Production Haskell: Succeeding in Industry with Haskell

— Oct 16, 2024 07:41AM Add a comment

Production Haskell: Succeeding in Industry with Haskell

Isaac Lopez

Isaac Lopez is 15% done with Production Haskell: Succeeding in Industry with Haskell

— Oct 16, 2024 02:02AM Add a comment

Production Haskell: Succeeding in Industry with Haskell

Isaac Lopez

Isaac Lopez is 65% done with The Gay Science: With a Prelude in Rhymes and an Appendix of Songs

— Oct 16, 2024 02:01AM Add a comment

The Gay Science: With a Prelude in Rhymes and an Appendix of Songs

Isaac Lopez

Isaac Lopez is 62% done with Thinking with Types. Type-Level Programming in Haskell

— Oct 16, 2024 01:59AM Add a comment

Thinking with Types. Type-Level Programming in Haskell

Isaac Lopez

Isaac Lopez is 40% done with Thinking with Types. Type-Level Programming in Haskell

— Oct 08, 2024 07:25PM Add a comment

Thinking with Types. Type-Level Programming in Haskell

Isaac Lopez

Isaac Lopez is 11% done with Thinking with Types. Type-Level Programming in Haskell

— Oct 03, 2024 07:01PM Add a comment

Thinking with Types. Type-Level Programming in Haskell

Isaac Lopez

Isaac Lopez is on page 251 of 396 of The Gay Science: With a Prelude in Rhymes and an Appendix of Songs

— Oct 03, 2024 05:45PM Add a comment

The Gay Science: With a Prelude in Rhymes and an Appendix of Songs

Isaac Lopez

Isaac Lopez is on page 247 of 396 of The Gay Science: With a Prelude in Rhymes and an Appendix of Songs

— Oct 03, 2024 05:35PM Add a comment

The Gay Science: With a Prelude in Rhymes and an Appendix of Songs

« previous 1 2 3 next »

Follow Isaac's updates via RSS