- Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
- Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
- The Haskell School of Expression: Learning Functional Programming through Multimedia
- LaTeX: A Document Preparation System (2nd Edition)
- Denotational Semantics
- Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
- Programs and Machines
- The Denotational Description of Programming Languages: An Introduction
gmtcrary
/ JdeJavaJulianDateTools.java
Created
December 9, 2022 23:52
— forked from trplll/JdeJavaJulianDateTools.java
JD Edwards Julian and Java Date Conversions
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package com.trplcd.jdejava; | |
| import java.text.ParseException; | |
| import java.text.SimpleDateFormat; | |
| import java.util.Calendar; | |
| import java.util.Date; | |
| public class JdeJavaJulianDateTools { | |
| public static class Methods { | |
| /** |
gmtcrary
/ default.nix
Created
November 18, 2022 23:41
— forked from knedlsepp/default.nix
custom unixodbc
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let | |
| pkgs = import <nixpkgs> {}; | |
| unixODBC-cache = pkgs.stdenv.mkDerivation { | |
| name = "unixODBC-cache"; | |
| src = pkgs.fetchurl { | |
| url = "ftp://ftp.intersystems.com/pub/cache/odbc/2014/cache.2014.1.3.ODBC-lnxrhx64.tar.gz"; | |
| sha256 = "0rgmpac45q126capd32gyhxk0pjjyg9kad5gqs9k0iyj022csxl8"; | |
| }; | |
| sourceRoot = "bin"; | |
| installPhase = '' |
gmtcrary
/ Makefile
Created
November 14, 2021 14:43
— forked from dradtke/Makefile
Hello World example for Allegro.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| CC := gcc | |
| CFLAGS := -g -Wall | |
| LIBS := -lallegro | |
| SOURCES := $(shell find src/ -type f -name "*.c") | |
| OBJECTS := $(SOURCES:.c=.o) | |
| TARGET := game | |
| all: $(SOURCES) $(TARGET) | |
| $(TARGET): $(OBJECTS) |
gmtcrary
/ type-systems.txt
Created
November 11, 2021 01:42
— forked from dicej/type-systems.txt
Type system learning notes
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Classes | |
| * Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking | |
| * Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction | |
| * Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/ | |
| Books and Articles | |
| * Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/ | |
| * x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html | |
| * Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ | |
| * Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/ |
gmtcrary
/ erik-meijer-books.md
Created
August 18, 2021 03:46
Erik Meijer’s List of Recommended Books