Bluish Coder
Programming Languages, Martials Arts and Computers. The Weblog of Chris Double.
Tag: ats
Ranged integer types and bounds checking
An Introduction to using pointers in ATS
Implementing a stack with proofs in ATS
Safer handling of C memory in ATS
Lightweight Tasks Library for ATS
ATS library reference
Pattern Matching Against Linear Objects in ATS
Using Records and C structs in ATS
Overloading Functions in ATS
Safe destruction in the presence of sharing in ATS
Sharing Linear Resources in ATS
Converting C Programs to ATS
Linear Datatypes in ATS
Reading data from a file in ATS
More on type safety using C and ATS
Dependent Types in ATS
Concurrency in ATS
lin and llam with closures
Closures in ATS
Functions in ATS
Safer C Code Using ATS
ATS Preforking Echo Server
ATS - Applied Type System Programming Language
Mail:
chris.double@double.co.nz
Github:
http://github.com/doublec
Tags
ajax
7
alice
1
ats
23
audio
2
b2g
4
backbase
1
bitcoin
3
bjj
1
blackdog
3
commonlisp
10
concurrency
4
continuations
10
cyclone
1
dojo
1
eee
1
erlang
19
facebook
2
factor
60
firefox
6
flash
1
forth
2
fxos
1
git
6
gstreamer
5
happs
2
haskell
14
hyperscope
1
inferno
4
io
2
javascript
36
links
1
martialarts
5
minix
1
misc
23
mobile
2
mozartoz
1
mozilla
86
namecoin
1
nanojit
1
ocaml
1
occam
1
ogg
9
openid
1
pitcairn
5
poker
3
programming
1
pure
3
rust
2
scala
1
scheme
4
seaside
6
self
3
smalltalk
1
tamarin
2
theora
5
tinyvid
6
ukulele
4
urweb
2
video
23
vodka
1
vorbis
3
waspvm
4
webm
1
yaws
1
zimbra
2
Archives
2013
2012
2011
2010
2009
2008
2007
2006
2005
Links
Articles
Weblog