1![A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1 A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1](https://www.pdfsearch.io/img/3b8e425f0277313755a4b6451cee8657.jpg) | Add to Reading ListSource URL: www.ece.northwestern.eduLanguage: English - Date: 2015-12-21 08:20:24
|
---|
2![Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler](https://www.pdfsearch.io/img/dac6ae90b54c6f883c101b87e8508b11.jpg) | Add to Reading ListSource URL: www.cs.utah.eduLanguage: English - Date: 2009-06-08 10:08:06
|
---|
3![Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago Slideshow: Functional Presentations Robert Bruce Findler Matthew Flatt University of Chicago](https://www.pdfsearch.io/img/4d413c0db5815f49dc93b39a9e4a3f46.jpg) | Add to Reading ListSource URL: www.cs.utah.eduLanguage: English - Date: 2004-07-07 16:55:57
|
---|
4![POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin POP-PL: A Patient-Oriented Prescription Programming Language Spencer P. Florence˚,:: Burke Fetscher˚ Matthew Flatt: William H. Temps; Tina Kiguradze; Dennis P. West; Charlotte Niznik; Paul R. Yarnold§ Robert Bruce Fin](https://www.pdfsearch.io/img/65b6a1f133f3785928e3b5f871dc14ab.jpg) | Add to Reading ListSource URL: www.ece.northwestern.eduLanguage: English - Date: 2015-08-15 03:10:27
|
---|
5![A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University](https://www.pdfsearch.io/img/c9222fdbd33045af0cb59c0e36319826.jpg) | Add to Reading ListSource URL: jeapostrophe.github.ioLanguage: English - Date: 2018-10-23 12:14:23
|
---|
6![Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt1 , Matthias Felleisen2 , Robert Bruce Findler3 , Matthew Flatt4 , Ben Greenman5 , Andrew M. Kent6 , Vincent St-Amour7 , T. Stephen Strickland8 , and Asumu Takikawa](https://www.pdfsearch.io/img/bbc3bc196502af94583aa085abd84f75.jpg) | Add to Reading ListSource URL: www.ece.northwestern.eduLanguage: English - Date: 2017-05-11 23:26:18
|
---|
7![A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University](https://www.pdfsearch.io/img/a4a3ba6029d60010dcfc690642315a74.jpg) | Add to Reading ListSource URL: jeapostrophe.github.ioLanguage: English - Date: 2018-10-23 12:14:23
|
---|
8![Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org](https://www.pdfsearch.io/img/49f591233393bc5d54595677d6dca4ad.jpg) | Add to Reading ListSource URL: www.ece.northwestern.eduLanguage: English - Date: 2016-08-09 10:09:16
|
---|
9![Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler Extensible Access Control with Authorization Contracts Scott Moore Christos Dimoulas Robert Bruce Findler](https://www.pdfsearch.io/img/964604dfef8c8c87b3925caabed90b83.jpg) | Add to Reading ListSource URL: www.ece.northwestern.eduLanguage: English - Date: 2016-10-10 16:16:25
|
---|
10![1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA 1 Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) VINCENT ST-AMOUR, DANIEL FELTEY, SPENCER P. FLORENCE, SHU-HUNG YOU, and ROBERT BRUCE FINDLER, PLT @ Northwestern University, USA](https://www.pdfsearch.io/img/9158c8e38d9395bf52b1505cf98b2a52.jpg) | Add to Reading ListSource URL: www.ece.northwestern.eduLanguage: English - Date: 2017-07-17 18:35:27
|
---|