William J. Bowman wilbowma

Paren-wielding meta-theorist.

wilbowma / nat-semantics.agda

Last active March 31, 2023 19:49

	open import Data.Nat
	open import Data.Bool hiding (_<_)
	open import Data.List
	open import Data.Fin hiding (_<_; _+_)
	open import Data.Unit
	open import Relation.Nullary
	open import Data.Product
	open import Relation.Binary.PropositionalEquality

	-- What is a semantics? A semantics defines the meaning of terms.

wilbowma / meow.rkt

Created February 17, 2023 21:54

	#lang racket/base

	(require
	(for-syntax
	racket
	syntax/parse)
	racket/contracts)

	(provide (rename-out [new-define/contract define/contract]))

wilbowma / meow.rkt

Last active October 9, 2022 00:28

	#lang racket

	(require
	(for-syntax
	syntax/parse
	racket/syntax))

	;; unhygenic
	(define-syntax (new-define-form syn)
	(syntax-parse syn

wilbowma / jfp.cls

Last active May 21, 2022 02:49

The JFP style and bib style modified to enable the DOI package to work, and to add URL and DOIs to the bib.

	\NeedsTeXFormat{LaTeX2e}
	\ProvidesClass{jfp}[2020/07/23 V1.6 Standard LaTeX document class]
	%
	\newif\ifcopoddhead\global\copoddheadfalse
	\newif\ifOA\global\OAfalse
	\newif\ifnolineno\global\nolinenofalse
	\newif\ifnatbiboff\global\natbibofffalse
	\newif\ifeqnum\global\eqnumfalse
	\newif\ifkeyedin\global\keyedinfalse
	\newif\iffirstproof\global\firstprooffalse

wilbowma / macros-live.rkt

Created April 5, 2022 22:47

Macros lecture live code

	#lang racket

	;; ------------------------------------------------------------------------
	;; Template helpers
	;; ------------------------------------------------------------------------

	(define-syntax (.... stx)
	(syntax-case stx ()
	[_
	#`(error "Incomplete template at line" #,(syntax-line stx))]))

wilbowma / meow.rkt

Last active March 11, 2022 07:19

	#lang racket
	(require (for-syntax racket/syntax))

	#\|
	1,000 fvars; let-syntax implementation
	cpu time: 1162 real time: 1165 gc time: 156

	10,000 fvars; let-syntax implementation
	cpu time: 10928 real time: 10964 gc time: 1374

wilbowma / meow.rkt

Created January 26, 2022 05:15

	#lang racket

	(require (rename-in racket/base [+ r:+]))
	(provide +)

	(define (join e1 e2)
	(cond
	[(and (number? e1) (number? e2))
	number?]
	[(and (number? e1) (symbol? e2))

wilbowma / meow1.rkt

Last active January 26, 2022 04:06

wilbowma / even-meowier.rkt

Last active January 26, 2022 04:22

	#lang sweet-exp racket

	require (rename-in racket/base [+ r:+])

	define +(e . rest)
	cond
	string? e
	apply string-append e rest
	number? e
	apply r:+ e rest

wilbowma / redex-lang-test.rkt

Created January 22, 2022 19:02