Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Applicative programming with effectsMCBRIDE, CONOR ; PATERSON, ROSSJournal of functional programming, 2008-01, Vol.18 (1), p.1-13 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
First-order unification by structural recursionMCBRIDE, CONORJournal of functional programming, 2003-11, Vol.13 (6), p.1061-1075, Article S0956796803004957 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |