Ghent University Academic Bibliography

1 – 2 of 2

show: 10
|
sort: year (new to old)

News feed
Embed this list
Save this search
Mark all
Export

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://biblio.ugent.be/publication?q=parent+exact+%22JOURNAL+OF+FUNCTIONAL+PROGRAMMING%22&embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1&amp;hide_cluster=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

Email this snippet

2012
- A1
- journalArticle
MRI: modular reasoning about interference in incremental programming
Bruno CdS Oliveira, Tom Schrijvers UGent and William Cook (2012) JOURNAL OF FUNCTIONAL PROGRAMMING. 22(6). p.797-852 Mark
2011
- A1
- journalArticle
OUTSIDEIN(X): modular type inference with local assumptions
Dimitrios Vytiniotis, Simon Peyton Jones, Tom Schrijvers UGent and Martin Sulzmann (2011) JOURNAL OF FUNCTIONAL PROGRAMMING. 21(4-5). p.333-412 Mark